{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:22:40Z","timestamp":1725556960357},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_22","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T04:15:17Z","timestamp":1275279317000},"page":"277-292","source":"Crossref","is-referenced-by-count":2,"title":["Precise Specification of Design Pattern Structure and Behaviour"],"prefix":"10.1007","author":[{"given":"Ashley","family":"Sterritt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinny","family":"Cahill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/3-540-40011-7_35","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Guennec Le","year":"2000","unstructured":"Le Guennec, A., Suny\u00e9, G., J\u00e9z\u00e9quel, J.: Precise Modeling of Design Patterns. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"unstructured":"Object Management Group: Object Constraint Language, Version 2.0 (2006), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-05-01","key":"22_CR3"},{"issue":"10","key":"22_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/97946.97967","volume":"25","author":"R. Helm","year":"1990","unstructured":"Helm, R., Holland, I.M., Gangopadhyay, D.: Contracts: Specifying Behavioral Compositions in Object-Oriented Systems. SIGPLAN Not.\u00a025(10), 169\u2013180 (1990)","journal-title":"SIGPLAN Not."},{"unstructured":"Object Management Group: Unified Modeling Language: Superstructure (2009), http:\/\/www.omg.org\/docs\/formal\/09-02-02.pdf","key":"22_CR5"},{"unstructured":"Eden, A.H.: Formal Specification of Object-Oriented Design. In: Proceedings of the International Conference on Multidisciplinary Design in Engineering (2001)","key":"22_CR6"},{"key":"22_CR7","first-page":"252","volume-title":"ICSE 2004","author":"J.K.H. Mak","year":"2004","unstructured":"Mak, J.K.H., Choy, C.S.T., Lun, D.P.K.: Precise Modeling of Design Patterns in UML. In: ICSE 2004, Washington, DC, USA, pp. 252\u2013261. IEEE Computer Society, Los Alamitos (2004)"},{"key":"22_CR8","first-page":"114","volume-title":"ECOOP 1998: Proceedings of the 12th European Conference on Object-Oriented Programming","author":"A. Lauder","year":"1998","unstructured":"Lauder, A., Kent, S.: Precise Visual Specification of Design Patterns. In: ECOOP 1998: Proceedings of the 12th European Conference on Object-Oriented Programming, London, UK, pp. 114\u2013134. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Flores, A., Cechich, A., Aranda, G.: A Generic Model of Object-Oriented Patterns Specified in RSL, pp. 44\u201372. IGI Publishing (2007)","key":"22_CR9","DOI":"10.4018\/978-1-59904-219-0.ch003"},{"doi-asserted-by":"crossref","unstructured":"Lano, K., Bicarregui, J., Goldsack, S.: Formalising Design Patterns. In: RBCS-FACS Northern Formal Methods Workshop (1996)","key":"22_CR10","DOI":"10.14236\/ewic\/FA1996.11"},{"issue":"4","key":"22_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T. Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.C.L.: Formal Specification of Design Patterns - A Balanced Approach. Journal of Object Technology\u00a02(4), 127\u2013140 (2003)","journal-title":"Journal of Object Technology"},{"doi-asserted-by":"crossref","unstructured":"Dong, J., Alencar, P., Cowan, D.: Formal Specification and Verification of Design Patterns, pp. 94\u2013108. IGI Publishing (2007)","key":"22_CR12","DOI":"10.4018\/978-1-59904-219-0.ch005"},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Kim, D.K., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Transactions on Software Engineering\u00a030(3), 193\u2013206 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1138912.1138920","volume-title":"WODA 2006: Proceedings of the 2006 international workshop on Dynamic systems analysis","author":"L. Wendehals","year":"2006","unstructured":"Wendehals, L., Orso, A.: Recognizing Behavioral Patterns at Runtime using Finite Automata. In: WODA 2006: Proceedings of the 2006 international workshop on Dynamic systems analysis, pp. 33\u201340. ACM, New York (2006)"},{"unstructured":"Demuth, B., Wilke, C.: Model and Object Verification by Using Dresden OCL. In: Proceedings of the Russian-German Workshop Innovation Information Technologies: theory and practice, Ufa, Russia, July 25-31 (2009)","key":"22_CR15"},{"unstructured":"Dwyer, M., Hatcliff, J., Howell, R.: Lecture 14: Advanced OCL Expressions, Kansas State University (2001)","key":"22_CR16"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_26","volume-title":"FM 2006: Formal Methods","author":"M.S. Lund","year":"2006","unstructured":"Lund, M.S., St\u00f8len, K.: A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085. Springer, Heidelberg (2006)"},{"issue":"3","key":"22_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. ACM Transactions on Programming Languages and Systems\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Berdine, J., Calcagno, C., Cook, B., Distefano, D., OHearn, P.W., Wies, T., Yang, H.: Shape Analysis for Composite Data Structures. In: Computer Aided Verification (2007)","key":"22_CR19"},{"issue":"10","key":"22_CR20","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/286942.286947","volume":"33","author":"D.G. Clarke","year":"1998","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership Types for Flexible Alias Protection. SIGPLAN Not.\u00a033(10), 48\u201364 (1998)","journal-title":"SIGPLAN Not."},{"key":"22_CR21","first-page":"293","volume-title":"Formal Methods in System Design","author":"W. Damm","year":"1998","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. In: Formal Methods in System Design, pp. 293\u2013312. Kluwer Academic Publishers, Dordrecht (1998)"}],"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-13595-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:40:40Z","timestamp":1606185640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}