{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:15:31Z","timestamp":1742400931915,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2001.989797","type":"proceedings-article","created":{"date-parts":[[2005,8,24]],"date-time":"2005-08-24T23:23:34Z","timestamp":1124925814000},"page":"115-124","source":"Crossref","is-referenced-by-count":18,"title":["Static consistency checking for distributed specifications"],"prefix":"10.1109","author":[{"given":"C.","family":"Nentwich","sequence":"first","affiliation":[]},{"given":"W.","family":"Emmerich","sequence":"additional","affiliation":[]},{"given":"A.","family":"Finkelstein","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"PROgrammierte GRaphErsetzungsSysteme - Spezifikation Implementierung und Anwendung einer integrierten Entwicklungsumgebung","year":"1996","author":"z\u00fcndorf","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501144"},{"key":"ref11","first-page":"614","article-title":"Verifying Integrity Constraints on Web Sites","author":"fernandez","year":"1999","journal-title":"Proceedings of the 16th International Joint Conference on Articial Intelligence"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/s007780050082","article-title":"Declarative Specification of Web Sites with Strudel","volume":"9","author":"fernandez","year":"2000","journal-title":"VLDB Journal"},{"key":"ref13","first-page":"1","article-title":"A Foolish Consistency: Technical Challenges in Consistency Management","author":"finkelstein","year":"2000","journal-title":"Proceedings of international conference on database and expert systems applications (DEXA)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194092000038"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008616811104"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313007"},{"journal-title":"The Schematron Assertion Language 1 5 Technical report GeoTempo Inc","year":"2000","author":"jelliffe","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035684"},{"journal-title":"A formal semantics of patterns in XSLT Markup Technologies","year":"1999","author":"wadler","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1710"},{"key":"ref27","first-page":"1436","article-title":"Consistency Analysis of UML Class and Sequence Diagrams based on Attributed Typed Graphs and their Transformation","author":"tsiolakis","year":"2000","journal-title":"Technical Report 2000\/3"},{"journal-title":"Extensible Markup Language","year":"2000","author":"bray","key":"ref3"},{"journal-title":"XML Path Language (XPath) Version 1 0 Recommendation","year":"1999","author":"clark","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/345966.346024"},{"key":"ref5","first-page":"108","article-title":"Managing Semantic Heterogeneity with Production Rules and Persistent Queues","author":"ceri","year":"1993","journal-title":"Proceedings of the 19th VLDB Conference"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919114"},{"journal-title":"XML Linking Language (XLink) Version 1 0 W3C Recommendation","year":"2001","author":"derose","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1991.130638"},{"key":"ref9","first-page":"99","author":"ellmer","year":"1999","journal-title":"Consistency Management of Distributed Documents using XML and Related Technologies"},{"key":"ref1","first-page":"1","article-title":"Querying Semi-Structured Data","author":"abiteboul","year":"1997","journal-title":"Proceedings of the 5th International Conference on Database Theory"},{"key":"ref20","article-title":"a Consistency Checking and Smart Link Generation Service","author":"nentwich","year":"2000","journal-title":"esearch Note RN\/00\/66 University College London Dept of Computer Science"},{"journal-title":"Meta-Object Facility (MOF)","year":"1997","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/2.839317"},{"journal-title":"XML Metadata Interchange (XMI) Specification 1 1","article-title":"492 Old Connecticut Path, Framingham","year":"2000","key":"ref24"},{"journal-title":"Unified Modeling Language Specification","year":"2000","key":"ref23"},{"key":"ref26","first-page":"613","article-title":"European Software Factory Plan - The ESF-Profile","author":"sch\u00e4fer","year":"1989","journal-title":"Modern Software Engineering Foundations and Current Perspectives"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/390010.808247"}],"event":{"name":"16th Annual International Conference on Automated Software Engineering (ASE 2001)","acronym":"ASE-01","location":"San Diego, CA, USA"},"container-title":["Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7763\/21331\/00989797.pdf?arnumber=989797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T18:54:11Z","timestamp":1497639251000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/989797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ase.2001.989797","relation":{},"subject":[]}}