{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:02Z","timestamp":1725486182577},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431695"},{"type":"electronic","value":"9783540456698"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45669-4_13","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:25:02Z","timestamp":1180905902000},"page":"250-279","source":"Crossref","is-referenced-by-count":9,"title":["Using OCL and UML to Specify System Behavior"],"prefix":"10.1007","author":[{"given":"Shane","family":"Sendall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Strohmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"13_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027286","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"K. Achatz","year":"1997","unstructured":"K. Achatz and W. Schulte. A Formal OO Method Inspired by Fusion and Object-Z. In J. P. Bowen, M. G. Hinchey, and D. Till (eds.): ZUM\u201997: The Z Formal Specification Notation, LNCS 1212 Springer, 1997."},{"issue":"10","key":"13_CR3","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borigda","year":"1995","unstructured":"A. Borigda, J. Mylopoulos and R. Reiter. On the Frame Problem in Procedure Specifications. IEEE Transactions on Software Engineering, Vol. 21, No. 10: October 1995, pp. 785\u2013798.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR4","unstructured":"J-M. Bruel and R. France. Transforming UML models to formal specifications. Proceedings of the OOPSLA\u201998 Workshop on Formalizing UML: Why? How?, Vancouver, Canada, 1998."},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. Chen","year":"1976","unstructured":"P. Chen; The Entity-Relationship Model\u2014Toward A Unified View of Data. ACM Transactions on Database Systems, 1(1), 1976, pp. 9\u201336.","journal-title":"ACM Transactions on Database Systems"},{"key":"13_CR6","unstructured":"D. Coleman et al. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"S. Cook, A. Kleppe, R. Mitchell, J. Warmer, and A. Wills. Defining the Context of OCL Expressions. Second International Conference on the Unified Modeling Language: UML\u201999, Fort Collins, USA, 1999.","DOI":"10.1007\/3-540-46852-8_27"},{"key":"13_CR8","unstructured":"D. D\u2019souza and A. Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley 1998."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"J. Daniels et al. Panel: Cracking the Software Paradox. OOPSLA 2000 Companion from the Conference on Object-Oriented Programming, Systems, Languages, and Application, USA, 2000.","DOI":"10.1145\/367845.367890"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"K. Finney, N. Fenton, and A. Fedorec. Effects of Structure on the Comprehensibility of Formal Specifications. IEEE Proc.-Softw. Vol. 146, No. 4, August 1999.","DOI":"10.1049\/ip-sen:19990600"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"D. Firesmith. Use Case Modeling Guidelines. Proc. 30th Conference on Technology for Object-Oriented Programming Languages and Systems (TOOLS-30), pp. 184\u2013193, IEEE Computer Society, 1999.","DOI":"10.1109\/TOOLS.1999.787548"},{"key":"13_CR12","unstructured":"M. Fowler; Use and Abuse Cases. Distributed Computing Magazine, 1999 (electronically available at http:\/\/www.martinfowler.com\/articles.html )."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"M. Glinz; Problems and Deficiencies of UML as a Requirements Specification Language. Proceedings of the Tenth International Workshop on Software Specification and Design, San Diego, 2000, pp. 11\u201322.","DOI":"10.1109\/IWSSD.2000.891122"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"J. Guttag et al. The Larch Family of Specification Languages. IEEE Trans Soft Eng 2(5), September 1985.","DOI":"10.1109\/MS.1985.231756"},{"key":"13_CR15","unstructured":"C. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986."},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-40011-7_38","volume-title":"UML 2000-The Unified Modeling Language: Advancing the Standard","author":"M. Kand\u00e9","year":"2000","unstructured":"M. Kand\u00e9 and A. Strohmeier. Towards a UML Profile for Software Architecture Descriptions. UML 2000-The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2\u20136, 2000, S. Kent, A. Evans and B. Selic (Eds.), LNCS (Lecture Notes in Computer Science), no. 1939, 2000, pp. 513\u2013527."},{"key":"13_CR17","unstructured":"B. Kovitz; Practical Software Requirements: A Manual of Content and Style. Manning 1999."},{"key":"13_CR18","unstructured":"C. Morgan. Programming from Specifications. Second Edition, Prentice Hall 1994."},{"key":"13_CR19","unstructured":"B. Meyer. Object-Oriented Software Construction. Second Edition, Prentice Hall, 1997."},{"key":"13_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46852-8_6","volume-title":"UML\u2019 99-The Unified Modeling Language: Beyond the Standard","author":"R. Paige","year":"1999","unstructured":"R. Paige and J. Ostroff. A Comparison of the Business Object Notation and the Unified Modeling Language. UML\u2019 99-The Unified Modeling Language: Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28\u201330, 1999, Robert France and Bernard Rumpe (Eds.), LNCS (Lecture Notes in Computer Science), no. 1723, 1999, pp. 67\u201382."},{"key":"13_CR21","unstructured":"B. Potter, J. Sinclair and D. Till. An Introduction to Formal Specification and Z. Prentice Hall, 1991."},{"key":"13_CR22","series-title":"Lect Notes Comput Sci","first-page":"449","volume-title":"On Formalizing the UML Object Constraint Language OCL","author":"M. Richters","year":"2004","unstructured":"M. Richters and M. Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER\u201998), pages 449\u2013464. Springer, Berlin, LNCS Vol. 1507, 1998."},{"key":"13_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-46852-8_20","volume-title":"UML\u2019 99-The Unified Modeling Language: Beyond the Standard","author":"S. Sendall","year":"1999","unstructured":"S. Sendall and A. Strohmeier. UML-based Fusion Analysis. UML\u2019 99-The Unified Modeling Language: Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28\u201330, 1999, Robert France and Bernard Rumpe (Ed.), LNCS (Lecture Notes in Computer Science), no. 1723, 1999, pp. 278\u2013291, extended version also available as Technical Report (EPFL-DI No 99\/319)."},{"key":"13_CR24","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"UML 2000 \u2014 The Unified Modeling Language: Advancing the Standard","author":"S. Sendall","year":"2000","unstructured":"S. Sendall and A. Strohmeier. From Use Cases to System Operation Specifications. UML 2000 \u2014 The Unified Modeling Language: Advancing the Standard, Third International Conference, S. Kent and A. Evans (Ed.), LNCS (Lecture Notes in Computer Science), no. 1939, pp. 1\u201315; Also available as Technical Report (EPFL-DI No 00\/333)."},{"key":"13_CR25","series-title":"Lect Notes Comput Sci","volume-title":"\u226aUML\u226b 2001-The Unified Modeling Language: Modeling Languages, Concepts and Tools","author":"S. Sendall","year":"2001","unstructured":"S. Sendall and A. Strohmeier. Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. \u226aUML\u226b 2001-The Unified Modeling Language: Modeling Languages, Concepts and Tools, Fourth International Conference, Toronto, Canada, October 1\u20135, Martin Gogolla (Ed.), Lecture Notes in Computer Science, Springer-Verlag, to be published in 2001. Also available as Technical Report EPFL-DI No 01\/367."},{"key":"13_CR26","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"13_CR27","unstructured":"A. Strohmeier and S. Sendall. Operation Schemas and OCL. Technical Report (EPFL-DI No 01\/358), Swiss Federal Institute of Technology in Lausanne, Software Engineering Lab., 2001."},{"key":"13_CR28","unstructured":"K. Walden and J.-M. Nerson. Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems. Prentice-Hall, 1995."},{"key":"13_CR29","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley 1998."},{"key":"13_CR30","unstructured":"J. Wing. A Two-tiered Approach to Specifying Programs. Technical Report TR-299, Massachusetts Institute of Technology, Laboratory for Computer Science, 1983."}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:58:10Z","timestamp":1556470690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}