{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:17:46Z","timestamp":1648984666748},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1007\/s10270-004-0064-z","type":"journal-article","created":{"date-parts":[[2004,8,3]],"date-time":"2004-08-03T12:57:52Z","timestamp":1091537872000},"page":"297-309","source":"Crossref","is-referenced-by-count":1,"title":["Specifying business rules in object-oriented analysis"],"prefix":"10.1007","volume":"4","author":[{"given":"Frank","family":"Devos","sequence":"first","affiliation":[]},{"given":"Eric","family":"Steegmans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,1]]},"reference":[{"key":"64_CR1","unstructured":"Appleton B (1997) Patterns and Software: Essential Concepts and Terminology. Appeared in: Object Magazine Online, vol. 3, no. 5. Newest revision available at http:\/\/www.enteract.com\/\u223cbradapp\/docs\/patterns-intro.html"},{"key":"64_CR2","unstructured":"Bekaert P, Steegmans E (2001) Non-Determinism in Conceptual Models. In: Proceedings of the tenth OOPSLA Workshop on Behavioral Semantics 2001, pp 24\u201334"},{"key":"64_CR3","doi-asserted-by":"crossref","unstructured":"Bekaert P, Delanote G, Devos F, Steegmans E (2002) Specialization\/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning. Lecture Notes in Computer Science, vol 2426, pp 34\u201343","DOI":"10.1007\/3-540-46105-1_5"},{"key":"64_CR4","unstructured":"Booch G (1994) Object-Oriented Analysis and Design with Applications. The Benjamin\/Cummings Publishing Company, Inc."},{"key":"64_CR5","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"Borgida","year":"1995","unstructured":"Borgida A, Mylopoulos J, Reiter R (1995) On the Frame problem in Procedure specifications. IEEE Transaction on Software Engineering 21:785\u2013798, October","journal-title":"IEEE Transaction on Software Engineering"},{"key":"64_CR6","unstructured":"Cook S, Daniels J (1994) Designing Object Systems, Object-Oriented Modelling with Syntropy. Prentice Hall"},{"key":"64_CR7","first-page":"Concepts","volume":"Engineering","author":"Dieste","year":"2000","unstructured":"Dieste O, Juristo N, Moreno A, Pazos J, Sierra A (2000) Conceptual Modelling in Software Engineering and Knowledge Engineering: Concepts, Techniques and Trends. Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Company","journal-title":"Conceptual Modelling in Software Engineering and Knowledge"},{"key":"64_CR8","unstructured":"Dockx J, Steegmans E (1999) Objectgericht Programmeren met Java, Acco"},{"key":"64_CR9","unstructured":"D\u2019Souza D, Wills A (1998) Objects, Components and Frameworks with UML, The Catalysis Approach. Addison-Wesley."},{"key":"64_CR10","doi-asserted-by":"crossref","unstructured":"Fernandez E, Yuan X (2000) Semantic Analysis Patterns. In: Proceedings of the International Conference on Conceptual Modeling, pp 183\u2013195","DOI":"10.1007\/3-540-45393-8_14"},{"key":"64_CR11","unstructured":"Fowler M (1997) Analysis Patterns. Reusable Object Models, Addison-Wesley"},{"key":"64_CR12","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design Patterns, Addison-Wesley."},{"key":"64_CR13","doi-asserted-by":"crossref","unstructured":"Gogolla M, Richters M (1998) On Constraints and Queries in UML. The Unified Modeling Language \u2013 Technical Aspects and Applications, Physica-Verlag, Heidelberg, pp 109\u2013121","DOI":"10.1007\/978-3-642-48673-9_8"},{"key":"64_CR14","first-page":"RML","volume":"Languages","author":"Greenspan","year":"1994","unstructured":"Greenspan S, Mylopoulos J, Borgida A (1994) On Formal Requirements Modeling Languages: RML revisited. International Conference on Software Engineering, pp 135\u2013147","journal-title":"On Formal Requirements Modeling"},{"key":"64_CR15","doi-asserted-by":"crossref","unstructured":"Hennicker R, Hussmann H, Bidoit M (2002) On the Precise Meaning of OCL Constraints. Advances in Object Modelling with OCL. Lecture Notes in Computer Science, vol 2263, pp 69\u201384","DOI":"10.1007\/3-540-45669-4_5"},{"key":"64_CR16","unstructured":"Klasse Objecten (2002) Errata for The Object Constraint Language, Precise Modeling with Unified Modeling Language. http:\/\/www.klasse.nl\/english\/boeken\/ocl-intro.html"},{"key":"64_CR17","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"6","author":"Liskov","year":"1994","unstructured":"Liskov B, Wing J (1994) A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 6:1811\u20131841, November","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"64_CR18","unstructured":"Meyer B (1997) Object-Oriented Software Construction. Prentice Hall"},{"key":"64_CR19","unstructured":"Object Management Group (2002) Unified Modeling Language Specification, Version 1.4"},{"key":"64_CR20","first-page":"43","volume":"1","author":"Opdahl","year":"2002","unstructured":"Opdahl A, Henderson-Sellers B (2002) Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model. Journal on Software and System Modeling 1:43\u201367, September","journal-title":"Journal on Software and System Modeling"},{"key":"64_CR21","unstructured":"Rumbaugh J, Jacobson I, Booch G (1999) The Unified Modeling Language Reference Manual. Addison-Wesley"},{"key":"64_CR22","unstructured":"Snoeck M, Dedene G, Verhelst M, Depuydt A (1999) Object-Oriented Enterprise Modelling with MERODE. Universitaire Pers Leuven"},{"key":"64_CR23","unstructured":"Steegmans E, Bekaert P, Devos F, Dockx J, Swennen B, Van Baelen S (1999) Object-oriented Analysis with EROOS. Department of Computer Science, K.U.Leuven"},{"key":"64_CR24","doi-asserted-by":"crossref","unstructured":"Van Baelen S, Lewi J, Steegmans E, Swennen B (1993) Constraints in Object-Oriented Analysis. Object Technologies for Advanced Software, Lecture Notes in Computer Science, vol 742, pp 393\u2013407","DOI":"10.1007\/3-540-57342-9_85"},{"key":"64_CR25","doi-asserted-by":"crossref","unstructured":"Wieringa RJ, Wiegand H, Meyer J, Dignum FPM (1991) The inheritance of Dynamic and Deontic Integrity Constraints. Annals of Mathematics and Artificial Intelligence 3(2\u20134):393\u2013428","DOI":"10.1007\/BF01530931"},{"key":"64_CR26","unstructured":"Warmer J, Kleppe A (1999) The Object Constraint Language. Precise Modeling with Unified Modeling Language, Addison-Wesley."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0064-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-004-0064-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0064-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0064-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:22Z","timestamp":1559130922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-004-0064-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["64"],"URL":"https:\/\/doi.org\/10.1007\/s10270-004-0064-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}