{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T17:03:39Z","timestamp":1758819819587},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202578"},{"type":"electronic","value":"9783540395973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39597-3_11","type":"book-chapter","created":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T23:30:21Z","timestamp":1294788621000},"page":"105-117","source":"Crossref","is-referenced-by-count":18,"title":["Consistency by Construction: The Case of MERODE"],"prefix":"10.1007","author":[{"given":"Monique","family":"Snoeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cindy","family":"Michiels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Dedene","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Lindland, O.I., Sindre, G., S\u00f8lvberg, A.: Understanding Quality in Conceptual Modeling. IEEE Software, 42\u201349 (March 1994)","DOI":"10.1109\/52.268955"},{"key":"11_CR2","unstructured":"UML, OMG, http:\/\/www.omg.org\/UML"},{"issue":"5","key":"11_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.5381\/jot.2002.1.5.c6","volume":"1","author":"R. Paige","year":"2002","unstructured":"Paige, R., Ostrof, J.: The Single Model Principle. Journal of Object Technology\u00a01(5), 63\u201381 (2002), http:\/\/www.jot.fm\/issues\/issue_2002_11\/column6","journal-title":"Journal of Object Technology"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Snoeck, M., Dedene, G.: Existence Dependency: The key to semantic integrity between structural and behavioral aspects of object types. IEEE Transactions on Software Engineering, 24\u00a0(24), 233\u2013251","DOI":"10.1109\/32.677182"},{"key":"11_CR5","volume-title":"Object-oriented Enterprise Modelling with MERODE","author":"M. Snoeck","year":"1999","unstructured":"Snoeck, M., Dedene, G., Verhelst, M., Depuydt, A.M.: Object-oriented Enterprise Modelling with MERODE. Leuven University Press, Leuven (1999)"},{"key":"11_CR6","volume-title":"System Development","author":"M. Jackson","year":"1983","unstructured":"Jackson, M., Cameron, J.: System Development. Prentice-Hall, Englewood Cliffs (1983)"},{"key":"11_CR7","unstructured":"Chen, P.P.: The Entity Relationship Approach to logical Database Design. QED information sciences, Wellesley, Mass. (1977)"},{"key":"11_CR8","volume-title":"Designing object systems: object-oriented modelling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing object systems: object-oriented modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-540-49524-6_20","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"R. Schuette","year":"1998","unstructured":"Schuette, R., Rotthowe, T.: The Guidelines of Modeling \u2013 An Approach to Enhance the Quality in Information Models. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 240\u2013254. Springer, Heidelberg (1998)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/978-3-540-49524-6_21","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"D.L. Moody","year":"1998","unstructured":"Moody, D.L., Shanks, G.G., Darke, P.: Improving the Quality of Entity Relationship Models \u2013 Experience in Research and Practice. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 255\u2013276. Springer, Heidelberg (1998)"},{"key":"11_CR11","unstructured":"pUML. The precise UML group, http:\/\/www.cs.york.ac.uk\/puml\/"},{"key":"11_CR12","unstructured":"Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z.: Workshop on Consistency Problems in UML-based software development, Workshop Materials, Research Report 2002:06, Blekinge Institute of Technology, Ronneby, Workshop at the UML, Conference, online (2002), at http:\/\/www.ipd.bth.se\/consistencyUML\/"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Evans, R., France, K., Lano, B.: Developping the UML as a Formal Modelling Notation. In: Muller, P.A., B\u00e9zivin, J. (eds.) UML 1998 Beyond the notation; International Workshop, Mulhouse, France (1998)","DOI":"10.1007\/978-3-540-48480-6_26"},{"key":"11_CR14","unstructured":"Rumpe: A note on Semantics (with an emphasis on UML). In: Kilov, H., Rumpe, B. (eds.) Second ECOOP Workshop on Precise Behavioural Semantics, Technische Universit\u00e4t M\u00fcnchen, TUM\u2013I9813 (1998)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Saksena, M., France, R.B., Larrondo-Petrie, M.M.: A characterization of Aggregation. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)","DOI":"10.1007\/978-1-4471-0895-5_3"},{"key":"11_CR16","unstructured":"Brunet, J.: An enhanced definition of Composition and its use for Abstration. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)"},{"issue":"10","key":"11_CR17","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R.H. Bourdeau","year":"1995","unstructured":"Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Transactions on Software Engineering\u00a021(10), 799\u2013821 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-44555-2_10","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"J.M. Bruel","year":"2000","unstructured":"Bruel, J.M., Lilius, J., Moreira, A., France, R.B.: Defining Precise Semantics for UML. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol.\u00a01964, pp. 113\u2013122. Springer, Heidelberg (2000)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Snoeck, M., Dedene, G.: Generalisation\/Specilisation and Role in object-oriented conceptual modelling. Data and Knowledge Engineering\u00a019(2) (1996)","DOI":"10.1016\/0169-023X(95)00044-S"},{"key":"11_CR20","unstructured":"Grand, L.: Specialisation of Object Lifecycles. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Cheung, K.S., Chow, K.O., Cheung, T.Y.: Consistency analysis on lifecycle model and interaction model. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)","DOI":"10.1007\/978-1-4471-0895-5_26"},{"key":"11_CR22","unstructured":"OMG. XML Metadata Interchange, http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling for Novel Application Domains"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39597-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T19:26:42Z","timestamp":1559935602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39597-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202578","9783540395973"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39597-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}