{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:44Z","timestamp":1725889904875},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699262"},{"type":"electronic","value":"9783540699279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69927-9_17","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:40Z","timestamp":1217486380000},"page":"245-259","source":"Crossref","is-referenced-by-count":0,"title":["Extracting Object Interactions Out of Software Contracts Using Model Transformations"],"prefix":"10.1007","author":[{"given":"Andr\u00e9s","family":"Vignaga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Perovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Cecilia","family":"Bastarrica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"17_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D.H. Akehurst","year":"2003","unstructured":"Akehurst, D.H., Kent, S., Patrascoiu, O.: A Relational Approach to Defining and Implementing Transformations between Metamodels. Software and System Modeling\u00a02(4), 215\u2013239 (2003)","journal-title":"Software and System Modeling"},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.scico.2007.05.002","volume":"68","author":"M. Alanen","year":"2007","unstructured":"Alanen, M., Lundkvist, T., Porres, I.: Creating and Reconciling Diagrams after Executing Model Transformations. Science of Computer Programming\u00a068(3), 155\u2013178 (2007)","journal-title":"Science of Computer Programming"},{"key":"17_CR3","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\u2013210. Springer, Heidelberg (2007)"},{"key":"17_CR4","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the Specification of Model Transformation Contracts. In: OCL and Model-Driven Engineering UML 2004 Workshop, Lisbon, Portugal (2004)"},{"key":"17_CR5","volume-title":"Object-Oriented Development: The Fusion Method","author":"D. Coleman","year":"1994","unstructured":"Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice-Hall, Inc., Upper Saddle River (1994)"},{"issue":"3","key":"17_CR6","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based Survey of Model Transformation Approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/FOSE.2007.14","volume-title":"FOSE 2007: Future of Software Engineering 2007","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: FOSE 2007: Future of Software Engineering 2007, pp. 37\u201354. IEEE Computer Society, Los Alamitos (2007)"},{"key":"17_CR8","unstructured":"O.\u00a0M.\u00a0G. Inc. Meta Object Facility (MOF) 2.0. Query\/View\/Transformation Specification. OMG Document ptc\/05-11-01 (November 2005)"},{"key":"17_CR9","unstructured":"O.\u00a0M.\u00a0G. Inc. UML Superstructure, v2.1.1. OMG Document formal\/07-02-05 (February 2007)"},{"key":"17_CR10","unstructured":"Kaldewaij, A.: Programming: The Derivation of Algorithms. Prentice-Hall International Series in Computer Science (1990)"},{"key":"17_CR11","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, Englewood Cliffs (2004)","edition":"3"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Lawley, M., Raymond, K.: Implementing a Practical Declarative Logic-based Model Transformation Engine. In: SAC 2007, pp. 971\u2013977 (2007)","DOI":"10.1145\/1244002.1244216"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/VLHCC.2005.35","volume-title":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005)","author":"M. Lohmann","year":"2005","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable Visual Contracts. In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Dallas, TX, USA, pp. 63\u201370. IEEE Computer Society, Los Alamitos (2005)"},{"key":"17_CR14","unstructured":"Meyer, B.: Object-Oriented Software Construction. 2 edn. Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1997)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"17_CR16","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education (2004)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Selonen, P., Syst\u00e4, T., Koskimies, K.: Generating Structured Implementation Schemes from UML Sequence Diagrams. In: TOOLS 2001, pp. 317\u2013330 (2001)","DOI":"10.1109\/TOOLS.2001.941684"},{"issue":"6","key":"17_CR18","first-page":"343","volume":"14","author":"A.J.H. Simons","year":"1999","unstructured":"Simons, A.J.H., Snoeck, M., Hung, K.S.Y.: Using Design Patterns to Reveal the Competence of Object-Oriented Methods in System-Level Design. International Journal of Computer Systems Science and Engineering\u00a014(6), 343\u2013352 (1999)","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"17_CR20","first-page":"34","volume-title":"ICSE 2007","author":"S. Uchitel","year":"2007","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. In: ICSE 2007, pp. 34\u201343. IEEE Computer Society, Los Alamitos (2007)"},{"key":"17_CR21","unstructured":"Vignaga, A.: A Case Study in Formal Reasoning about the Use of State Modification Primitives. Technical Report 04-09, InCo\/Pedeciba (2004)"},{"key":"17_CR22","unstructured":"Vignaga, A.: A Formal Semantics of State Modification Primitives of Object-Oriented Systems. Master\u2019s thesis, Pedeciba and Universidad de la Rep\u00fablica, Uruguay (February 2004)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Vignaga, A., Bastarrica, M.C.: Transforming System Operations\u2019 Interactions into a Design Class Diagram. In: SAC 2007, pp. 993\u2013997 (2007)","DOI":"10.1145\/1244002.1244219"},{"key":"17_CR24","unstructured":"Vignaga, A., Perovich, D., Bastarrica, M.C.: On Extracting a Design out of Software Contracts. Technical Report TR\/DCC-2007-1, DCC, Universidad de Chile (2007)"},{"key":"17_CR25","first-page":"351","volume-title":"IEEE ICCI","author":"R.S. Wahono","year":"2002","unstructured":"Wahono, R.S., Far, B.H.: A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design. In: IEEE ICCI, pp. 351\u2013360. IEEE Computer Society, Los Alamitos (2002)"},{"key":"17_CR26","unstructured":"Wirfs-Brock, R., McKean, A.: Object Design: Roles, Responsibilities, and Collaborations. Pearson Education (2002)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69927-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:12:54Z","timestamp":1620015174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69927-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540699262","9783540699279"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69927-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}