{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:19:09Z","timestamp":1725585549970},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_2","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:57:17Z","timestamp":1307717837000},"page":"3-18","source":"Crossref","is-referenced-by-count":10,"title":["Contracts for Model Execution Verification"],"prefix":"10.1007","author":[{"given":"Eric","family":"Cariou","sequence":"first","affiliation":[]},{"given":"Cyril","family":"Ballagny","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Feugas","sequence":"additional","affiliation":[]},{"given":"Franck","family":"Barbier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2009)","author":"C. Ballagny","year":"2009","unstructured":"Ballagny, C., Hameurlain, N., Barbier, F.: MOCAS: A State-Based Component Model for Self-Adaptation. In: Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2009). IEEE Computer Society, Los Alamitos (2009)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. IEEE Computer\u00a032(7) (1999)","DOI":"10.1109\/2.774917"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Jouault, F.: Using ATL for Checking Models. In: Intl. Workshop on Graph and Model Transformation (GraMoT 2005). ENTCS, vol.\u00a0152 (2005)","DOI":"10.1016\/j.entcs.2006.01.015"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting Logic Semantics and Verification of Model Transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"2_CR5","unstructured":"Cariou, E., Belloir, N., Barbier, F., Djemam, N.: OCL Contracts for the Verification of Model Transformations. In: Proceedings of the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. Electronic Communications of the EASST, vol.\u00a024 (2009)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Garoche, P.-L., Xavier, T.: Essay on Semantics Definition in MDE \u2013 An Instrumented Approach for Model Verification. Journal of Software 4(9) (2009)","DOI":"10.4304\/jsw.4.9.943-958"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Crane, M.L., Dingel, J.: UML vs. Classical vs. Rhapsody Statecharts: not all Models are created Equal. Software and Systems Modeling 6(4) (2007)","DOI":"10.1007\/s10270-006-0042-8"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"France, R.B., Ghosh, S., Dinh-Trong, T., Solberg, A.: Model-Driven Development Using UML 2.0: Promises and Pitfalls. IEEE Computer 39(2) (2006)","DOI":"10.1109\/MC.2006.65"},{"key":"2_CR11","unstructured":"Hausmann, J.H.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, University of Paderborn (2005)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Le Traon, Y., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Design by Contract to improve Software Vigilance. IEEE Transaction on Software Engineering 32(8) (2006)","DOI":"10.1109\/TSE.2006.79"},{"issue":"10","key":"2_CR13","first-page":"40","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. IEEE Computer (Special Issue on Inheritance & Classification)\u00a025(10), 40\u201352 (1992)","journal-title":"IEEE Computer (Special Issue on Inheritance & Classification)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/11880240_41","volume-title":"Model Driven Engineering Languages and Systems","author":"J.-M. Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Reusable MDA Components: A Testing-for-Trust Approach. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 589\u2013603. Springer, Heidelberg (2006)"},{"key":"2_CR15","unstructured":"OMG. Object Constraint Language (OCL) Specification, version\u00a02.0 (2006), http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"2_CR16","unstructured":"OMG. Unified Modeling Language (UML) Specification, version 2.2 (2009), http:\/\/www.omg.org\/spec\/UML\/2.2\/"},{"key":"2_CR17","unstructured":"OMG. Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.0 (2011), http:\/\/www.omg.org\/spec\/FUML\/1.0\/"},{"key":"2_CR18","volume-title":"3rd International Conference on Formal Engineering Methods (ICFEM 2000)","author":"C. Pons","year":"2000","unstructured":"Pons, C., Baum, G.: Formal Foundations of Object-Oriented Modeling Notations. In: 3rd International Conference on Formal Engineering Methods (ICFEM 2000). IEEE, Los Alamitos (2000)"},{"key":"2_CR19","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Right or Wrong? \u2013 Verification of Model Transformations using Colored Petri Nets. In: 9th OOPSLA Workshop on Domain-Specific Modeling (DSM 2009) (2009)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T16:33:32Z","timestamp":1560270812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}