{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:29Z","timestamp":1725473129588},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540463290"},{"type":"electronic","value":"9783540463306"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11890591_2","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T07:42:18Z","timestamp":1164008538000},"page":"33-56","source":"Crossref","is-referenced-by-count":7,"title":["Specifying the Semantics of Operation Contracts in Conceptual Modeling"],"prefix":"10.1007","author":[{"given":"Anna","family":"Queralt","sequence":"first","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"IEEE Recommended Practice for Software Requirements Specifications (IEEE Std. 830 1998) (1998)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Transactions on Software Engineering\u00a021, 785\u2013798 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/3-540-47961-9_45","volume-title":"Advanced Information Systems Engineering","author":"D. Costal","year":"2002","unstructured":"Costal, D., Sancho, M.R., Teniente, E.: Understanding Redundancy in UML Models for Object-Oriented Analysis. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 659\u2013674. Springer, Heidelberg (2002)"},{"key":"2_CR4","volume-title":"Objects, Components and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"key":"2_CR5","volume-title":"Software Requirements: Objects, Functions and States","author":"A.M. Davis","year":"1993","unstructured":"Davis, A.M.: Software Requirements: Objects, Functions and States. Prentice Hall, Englewood Cliffs (1993)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10270-004-0064-z","volume":"4","author":"F. Devos","year":"2005","unstructured":"Devos, F., Steegmans, E.: Specifying Business Rules in Object-Oriented Analysis. Software and Systems Modeling\u00a04, 297\u2013309 (2005)","journal-title":"Software and Systems Modeling"},{"key":"2_CR7","unstructured":"Frias, L., Queralt, A., Oliv\u00e9, A.: EU-Rent Car Rentals Specification. Departament de LSI, UPC, Technical Report LSI-03-59-R (2003)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Informatica\u00a01, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"2_CR9","unstructured":"ISO\/TC97\/SC5\/WG3: Concepts and Terminology for the Conceptual Schema and the Information Base. In: van Griethuysen, J.J.(ed.) (1982)"},{"key":"2_CR10","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall PTR, Upper Saddle River (2004)","edition":"3"},{"key":"2_CR11","volume-title":"Object-Oriented Methods. A Foundation","author":"J. Martin","year":"1999","unstructured":"Martin, J., Odell, J.J.: Object-Oriented Methods. A Foundation. P T R Prentice Hall, Englewood Cliffs (1999)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018Design by Contract\u2019. Computer\u00a025, 40\u201351 (1992)","journal-title":"Computer"},{"key":"2_CR13","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, New York (1997)","edition":"2"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J. Mylopoulos","year":"1980","unstructured":"Mylopoulos, J., Bernstein, P.A., Wong, H.K.T.: A Language Facility for Designing Database-Intensive Applications. ACM Transactions on Database Systems\u00a05, 185\u2013207 (1980)","journal-title":"ACM Transactions on Database Systems"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-30464-7_12","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"\u00c0. Oliv\u00e9","year":"2004","unstructured":"Oliv\u00e9, \u00c0.: Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 136\u2013149. Springer, Heidelberg (2004)"},{"key":"2_CR16","unstructured":"OMG: UML 2.0 OCL Specification (2003)"},{"key":"2_CR17","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"R.S. Pressman","year":"2004","unstructured":"Pressman, R.S.: Software Engineering: A Practitioner\u2019s Approach, 6th edn. McGraw-Hill, New York (2004)","edition":"6"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Information Systems Engineering","author":"A. Queralt","year":"2005","unstructured":"Queralt, A., Teniente, E.: On the Semantics of Operation Contracts in Conceptual Modeling. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520. Springer, Heidelberg (2005)"},{"key":"2_CR19","unstructured":"Queralt, A., Teniente, E.: A Platform Independent Model for the Electronic Marketplace Domain. Departament de LSI, UPC, Technical Report LSI-05-9-R (2005)"},{"key":"2_CR20","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley Professional, Reading (2004)"},{"key":"2_CR21","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)","edition":"2"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1145\/299917.299919","volume":"30","author":"R. Wieringa","year":"1998","unstructured":"Wieringa, R.: A Survey of Structured and Object -Oriented Software Specification Methods and Techniques. ACM Comput. Surv.\u00a030, 459\u2013527 (1998)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11890591_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:31:43Z","timestamp":1619494303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11890591_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540463290","9783540463306"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11890591_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}