{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:46:37Z","timestamp":1725986797465},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69534-9_22","type":"book-chapter","created":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T08:27:34Z","timestamp":1212827254000},"page":"266-280","source":"Crossref","is-referenced-by-count":2,"title":["Drawing Preconditions of Operation Contracts from Conceptual Schemas"],"prefix":"10.1007","author":[{"given":"Dolors","family":"Costal","sequence":"first","affiliation":[]},{"given":"Cristina","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Anna","family":"Queralt","sequence":"additional","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Teichroew, D.: Methodology for the Design of Information Processing Systems. In: Proc. Fourth Australian Computer Conference, pp. 629\u2013634 (1969)"},{"key":"22_CR2","unstructured":"OMG: MDA Guide Version 1.0.1. (2003)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/BFb0022075","volume-title":"Database and Expert Systems Applications","author":"D. Costal","year":"1997","unstructured":"Costal, D., Sancho, M.-R., Oliv\u00e9, A., Rosell\u00f3, A.: The Role of Structural Events in Behaviour Specification. In: Tjoa, A.M. (ed.) DEXA 1997. LNCS, vol.\u00a01308, pp. 673\u2013686. Springer, Heidelberg (1997)"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0169-023X(92)90008-Y","volume":"9","author":"G. Engels","year":"1992","unstructured":"Engels, G., Gogolla, M., Hohenstein, U., H\u00fcllmann, K., L\u00f6hr-Richter, P., Saake, G., Ehrich, H.-D.: Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering\u00a09, 157\u2013204 (1992)","journal-title":"Data & Knowledge Engineering"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/S0950-5849(01)00178-1","volume":"43","author":"R. Laleau","year":"2001","unstructured":"Laleau, R., Polack, F.: Specification of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based Language. Information and Software Technology\u00a043, 693\u2013704 (2001)","journal-title":"Information and Software Technology"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-75209-7_14","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Cabot","year":"2007","unstructured":"Cabot, J., G\u00f3mez, C.: Deriving Operation Contracts from UML Class Diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 196\u2013207. Springer, Heidelberg (2007)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11573067","volume-title":"Advanced Information Systems Engineering","author":"\u00c0. Oliv\u00e9","year":"2005","unstructured":"Oliv\u00e9, \u00c0.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"22_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72677-7_20","volume-title":"Conceptual Modeling of Information Systems","author":"A. Oliv\u00e9","year":"2007","unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007)"},{"key":"22_CR9","unstructured":"ISO\/TC97\/SC5\/WG3: Concepts and Terminology for the Conceptual Schema and Information Base. ISO (1982)"},{"key":"22_CR10","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Costal, D., G\u00f3mez, C., Queralt, A., Ravent\u00f3s, R., Teniente, E.: Improving the Definition of General Constraints in UML. Software and Systems Modeling (2008) DOI: 10.1007\/s10270-007-0078-4","DOI":"10.1007\/s10270-007-0078-4"},{"key":"22_CR12","volume-title":"Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design","author":"T. Halpin","year":"2001","unstructured":"Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/11767138_18","volume-title":"Advanced Information Systems Engineering","author":"J. Ackermann","year":"2006","unstructured":"Ackermann, J., Turowski, K.: A Library of OCL Specification Patterns for Behavioral Specification of Software Components. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 255\u2013269. Springer, Heidelberg (2006)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0169-023X(93)90024-J","volume":"11","author":"S.W. Liddle","year":"1993","unstructured":"Liddle, S.W., Embley, D.W., Woodfield, S.N.: Cardinality Constraints in Semantic Data Models. Data and Knowledge Engineering\u00a011, 235\u2013270 (1993)","journal-title":"Data and Knowledge Engineering"},{"key":"22_CR15","first-page":"386","volume-title":"Proc. ICDE 1987","author":"M. Lenzerini","year":"1987","unstructured":"Lenzerini, M.: Covering and Disjointness Constraints in Type Networks. In: Proc. ICDE 1987, pp. 386\u2013393. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"22_CR16","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)","edition":"3"},{"key":"22_CR17","unstructured":"OMG: UML2.0 OCL Specification, OMG Adopted Specification (2005)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","first-page":"40","volume-title":"Advanced Information Systems Engineering","author":"J.A. Pastor","year":"1995","unstructured":"Pastor, J.A., Oliv\u00e9, A.: Supporting Transaction Designs in Conceptual Modeling of Information Systems. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol.\u00a0932, pp. 40\u201353. Springer, Heidelberg (1995)"},{"key":"22_CR19","volume-title":"Proc. 13th International Conf. on Automated Software Engineering","author":"Y. Ledru","year":"1998","unstructured":"Ledru, Y.: Idenitfying pre-conditions with the Z\/EVES theorem prover. In: Proc. 13th International Conf. on Automated Software Engineering. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"22_CR20","unstructured":"Mammar, A., Gervais, F., Laleau, R.: Systematic Identification of Preconditions from Set-Based Integrity Constraints. In: INFORSID, pp. 595\u2013610 (2006)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69534-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:10:35Z","timestamp":1551514235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69534-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783319981765","9783319981772"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69534-9_22","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2008]]}}}