{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:17:57Z","timestamp":1725675477360},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297878"},{"type":"electronic","value":"9783642297885"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29788-5_1","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T05:42:35Z","timestamp":1334727755000},"page":"1-18","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning on Models Combining Objects and Aspects"],"prefix":"10.1007","author":[{"given":"Ella","family":"Roubtsova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-14600-8_29","volume-title":"Diagrammatic Representation and Inference","author":"N. Am\u00e1lio","year":"2010","unstructured":"Am\u00e1lio, N., Kelsen, P.: VCL, a Visual Language for Modelling Software Systems Formally. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS, vol.\u00a06170, pp. 282\u2013284. Springer, Heidelberg (2010)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Baniassad, E., Clarke, S.: Theme: An Approach for Aspect-Oriented Analysis and Design. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004, pp. 158\u2013167. IEEE (2004)","DOI":"10.1109\/ICSE.2004.1317438"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Ciraci, S., Havinga, W.K., Ak\u015fit, M., Bockisch, C.M., van den Broek, P.M.: A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. Technical Report TR-CTIT-09-39, Enschede (September 2009)","DOI":"10.1007\/978-3-642-16086-8_9"},{"key":"1_CR5","unstructured":"Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design: The Theme Approach. Addison Wesley (2005)"},{"key":"1_CR6","unstructured":"Ebert, J., Engels, G.: Observable or invocable behaviour-you have to choose. Technical report. Universit\u00e4t Koblenz, Koblenz, Germany (1994)"},{"key":"1_CR7","unstructured":"Filman, R., Elrad, T., Clarke, S., Ak\u015fit, M.: Aspect-Oriented Software Development. Addison-Wesley (2004)"},{"issue":"7","key":"1_CR8","doi-asserted-by":"publisher","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":"1_CR9","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall International (1985)"},{"key":"1_CR10","first-page":"234","volume":"7","author":"M.M. H\u00f6lzl","year":"2010","unstructured":"H\u00f6lzl, M.M., Knapp, A., Zhang, G.: Modeling the Car Crash Crisis Management System Using HiLA. T. Aspect-Oriented Software Development\u00a07, 234\u2013271 (2010)","journal-title":"T. Aspect-Oriented Software Development"},{"key":"1_CR11","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 (2009)","DOI":"10.1145\/1509239.1509252"},{"key":"1_CR12","series-title":"LNCS","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 AOSD I. LNCS, vol.\u00a03880, pp. 106\u2013134. Springer, Heidelberg (2006)"},{"key":"1_CR13","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":"1_CR14","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 (2008)","DOI":"10.1145\/1404920.1404923"},{"key":"1_CR15","unstructured":"McNeile, A., Simons, N.: http:\/\/www.metamaxim.com\/"},{"issue":"6","key":"1_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.5381\/jot.2003.2.6.a2","volume":"2","author":"A. McNeile","year":"2003","unstructured":"McNeile, A., Simons, N.: State Machines as Mixins. Journal of Object Technology\u00a02(6), 85\u2013101 (2003)","journal-title":"Journal of Object Technology"},{"issue":"1","key":"1_CR17","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"},{"key":"1_CR18","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1997)"},{"key":"1_CR19","first-page":"200","volume":"7","author":"S. Mosser","year":"2010","unstructured":"Mosser, S., Blay-Fornarino, M., France, R.: Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. T. Aspect-Oriented Software Development\u00a07, 200\u2013233 (2010)","journal-title":"T. Aspect-Oriented Software Development"},{"key":"1_CR20","unstructured":"OMG. Unified Modeling Language: Superstructure version 2.1.1 formal\/2007-02-03 (2003)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symp. Foundations of Computer Csience (FOCS 1977), Providence, RI, USA, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"1_CR22","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 (2009)","DOI":"10.1145\/1509297.1509303"},{"key":"1_CR23","unstructured":"Stein, D., Hanenberg, S., Unland, R.: Visualizing Join Point Selections Using Interaction-Based vs. State-Based Notations Exemplified With Help of Business Rules. In: EMISA 2005, pp. 94\u2013107 (2005)"},{"key":"1_CR24","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-12261-3_11","volume-title":"Models in Software Engineering","author":"G. Zhang","year":"2010","unstructured":"Zhang, G., H\u00f6lzl, M.: HiLA: High-Level Aspects for UML State Machines. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 104\u2013118. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Business Information Processing","Business Modeling and Software Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29788-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T12:26:47Z","timestamp":1561638407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29788-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297878","9783642297885"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29788-5_1","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}