{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:44Z","timestamp":1725566144605},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642160851"},{"type":"electronic","value":"9783642160868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16086-8_4","type":"book-chapter","created":{"date-parts":[[2010,9,17]],"date-time":"2010-09-17T10:54:40Z","timestamp":1284720880000},"page":"115-150","source":"Crossref","is-referenced-by-count":7,"title":["Aspect-Oriented Development Using Protocol Modeling"],"prefix":"10.1007","author":[{"given":"Ashley","family":"McNeile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ella","family":"Roubtsova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bondi, A.: Characteristics of Scalability and their impact on Performance. In: Proceedings of the 2nd international workshop on Software and performance, Ottawa, Ontario, Canada, pp. 195\u2013203 (2000)","DOI":"10.1145\/350391.350432"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"McNeile, A.: Protocol Contracts with application to Choreographed Multiparty Collaborations. In: Service Oriented Computing and Applications (in Publication, 2010)","DOI":"10.1007\/s11761-010-0060-9"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"McNeile, A., Roubtsova, E.: CSP parallel composition of aspect models. In: AOM 2008: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, pp. 13\u201318. ACM DL (2008)","DOI":"10.1145\/1404920.1404923"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/ANSS-41.2008.20","volume-title":"Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)","author":"A. McNeile","year":"2008","unstructured":"McNeile, A., Roubtsova, E.: Executable Protocol Models as a Requirements Engineering Tool. In: Proceedings of the 41st Annual Simulation Symposium (anss-41 2008), Washington, DC, USA, pp. 95\u2013102. IEEE Computer Society, Los Alamitos (2008)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"McNeile, A., Roubtsova, E.: Composition Semantics for Executable and Evolvable Behavioural Modeling in MDA. In: BM-MDA 2009: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, pp. 1\u20138. ACM DL (2009)","DOI":"10.1145\/1555852.1555855"},{"key":"4_CR6","unstructured":"McNeile, A., Simons, N.: http:\/\/www.metamaxim.com\/"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-005-0100-7","volume":"5","author":"A. McNeile","year":"2006","unstructured":"McNeile, A., Simons, N.: Protocol Modelling. A Modelling Approach that Supports Reusable Behavioural Abstractions. Software and System Modeling\u00a05(1), 91\u2013107 (2006)","journal-title":"Software and System Modeling"},{"issue":"10","key":"4_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.5381\/jot.2007.6.10.a2","volume":"6","author":"A. McNeile","year":"2007","unstructured":"McNeile, A., Simons, N.: A Typing Scheme for Behavioural Models. Journal of Object Technology\u00a06(10), 81\u201394 (2007)","journal-title":"Journal of Object Technology"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1370828.1370832","volume-title":"EA 2008: Proceedings of the 13th international Workshop on Early Aspects","author":"B. Morin","year":"2008","unstructured":"Morin, B., Klein, J., Barais, O., J\u00e9z\u00e9quel, F.-M.: A Generic Weaver for Supporting Product Lines. In: EA 2008: Proceedings of the 13th international Workshop on Early Aspects, pp. 11\u201318. ACM, New York (2008)"},{"key":"4_CR10","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.entcs.2006.01.031","volume":"162","author":"C. Hoare","year":"2006","unstructured":"Hoare, C.: Why ever CSP? Electronic Notes in Theoretical Computer Science\u00a0162, 209\u2013215 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"7","key":"4_CR12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable Object Modelling with Statecharts. IEEE Computer\u00a030(7), 31\u201342 (1997)","journal-title":"IEEE Computer"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/ICSE.2004.1317438","volume-title":"ICSE 2004. Proceedings. 26th International Conference on Software Engineering","author":"E. Baniassad","year":"2004","unstructured":"Baniassad, E., Clarke, S.: Theme: An Approach for Aspect-Oriented Analysis and Design. In: ICSE 2004. Proceedings. 26th International Conference on Software Engineering, pp. 158\u2013167. IEEE, Los Alamitos (2004)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Roubtsova, E., McNeile, A.: Abstractions, Composition and Reasoning. In: AOM 2009: Proceedings of the 13th workshop on Aspect-Oriented Modeling, Charlottesville, Virginia, USA. ACM DL (2009)","DOI":"10.1145\/1509297.1509303"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. of the ASM conference on Object-Oriented Programming, Systems, Languages, Applications, OOPSLA\/ECOOP 1990, ACM SIGPLAN Notices, vol.\u00a025(10), pp. 179\u2013183 (1990)","DOI":"10.1145\/97946.97982"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-75209-7_36","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Zhang","year":"2007","unstructured":"Zhang, G., H\u00f6lzl, M., Knapp, A.: Enhancing UML State Machines with Aspects. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"key":"4_CR17","unstructured":"Ossher, H., Tarr, P.: Multidimentional Separation of Concerns and the Hyperspace Approach. In: Proc. Architectures and Component Technology: The State-of-the Art in Software Development (January 2000)"},{"key":"4_CR18","unstructured":"Ebert, J., Engels, G.: Observable or invocable behaviour - You have to choose. Technical report. Universit\u00e4t Koblenz, Koblenz, Germany (1994)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Al Abed, W., Klein, J.: Aspect-oriented Multi-view Modeling. In: Proceedings of the International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, pp. 87\u201398. ACM DL (2009)","DOI":"10.1145\/1509239.1509252"},{"key":"4_CR20","first-page":"1","volume":"7","author":"J. Kienzle","year":"2010","unstructured":"Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. Transactions on Aspect-Oriented Software Development\u00a07, 1\u201322 (2010)","journal-title":"Transactions on Aspect-Oriented Software Development"},{"key":"4_CR21","volume-title":"System Development","author":"M. Jackson","year":"1983","unstructured":"Jackson, M.: System Development. Prentice Hall, Englewood Cliffs (1983)"},{"key":"4_CR22","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)"},{"key":"4_CR23","unstructured":"Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using Aspects to Abstract and Modularize Statecharts. In: The 5th Aspect-Oriented Modeling Workshop In Conjunction with UML 2004 (2004)"},{"key":"4_CR24","unstructured":"OMG. Unified Modeling Language, Superstructure, v2.2. OMG Document formal\/09-02-02 (2009)"},{"key":"4_CR25","series-title":"Department of Computer Science","volume-title":"Proceedings of Workshop on Advanced Separation of Concerns, OOPSLA 2000","author":"R. Filman","year":"2000","unstructured":"Filman, R., Friedman, D.: Aspect-Oriented Programming is Quantification and Obliviousness. In: Tarr, P., Bergmans, L., Griss, M., Ossher, H. (eds.) Proceedings of Workshop on Advanced Separation of Concerns, OOPSLA 2000. Department of Computer Science. University of Twente, The Netherlands (2000)"},{"key":"4_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/11687061_3","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"R. Reddy","year":"2006","unstructured":"Reddy, R., Ghosh, S., France, R., Straw, B.: Directives for composing aspect-oriented design class models. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 75\u2013105. Springer, Heidelberg (2006)"},{"key":"4_CR28","unstructured":"Apel, S., Leich, T., Saake, G.: Mixin-Based Aspect Inheritance. Technical Report No. 10\/2005, University of Magdeburg, Germany (2005)"},{"key":"4_CR29","volume-title":"Aspect-Oriented Analysis and Design: The Theme Approach","author":"S. Clarke","year":"2005","unstructured":"Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design: The Theme Approach. Addison Wesley, Reading (2005)"},{"key":"4_CR30","volume-title":"Designing Object Systems. Object-Oriented Modelling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing Object Systems. Object-Oriented Modelling with Syntropy. Prentice Hall, Englewood Cliffs (1994)"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11687061_4","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"S. Katz","year":"2006","unstructured":"Katz, S.: Aspect Categories and Classes of Temporal Properties. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 106\u2013134. Springer, Heidelberg (2006)"},{"key":"4_CR32","volume-title":"Executable UML: A Foundation for Model Driven Architecture","author":"S. Mellor","year":"2002","unstructured":"Mellor, S., Balcer, M.: Executable UML: A Foundation for Model Driven Architecture. Addison Wesely, London (2002)"},{"key":"4_CR33","unstructured":"Shlaer, S., Mellor, S.: Object Life Cycles - Modeling the World in States. Yourdon Press\/Prentice Hall (1992)"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Elrad, T., Algawud, O., Baber, A.: Aspect-oriented modelling-Briging the gap Between Design and Implementation. In: Proceedings of the First ACM International Conference on Generative PRogramming and Component Engineering GPCE), Pittsburg, pp. 1189\u20131202 (2002)","DOI":"10.1007\/3-540-45821-2_12"},{"key":"4_CR35","unstructured":"Santen, T., Seifert, D.: Executing UML State Machines. Technical Report 2006-04,Fakult\u00e4t f\u00fcr Elektrotechnik und Informatik, Technische Universit\u00e4t Berlin (2006)"},{"key":"4_CR36","unstructured":"Drey, Z., Faucher, C., Fleurey, F., Mah\u00e9, V., Vojtisek, D.: Kermeta language (2009), http:\/\/kermeta.org\/documents\/manual\/htm_chunked"}],"container-title":["Lecture Notes in Computer Science","Transactions on Aspect-Oriented Software Development VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16086-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:18Z","timestamp":1606185918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16086-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642160851","9783642160868"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16086-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}