{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:07:17Z","timestamp":1781651237397,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662436516","type":"print"},{"value":"9783662436523","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43652-3_15","type":"book-chapter","created":{"date-parts":[[2014,5,29]],"date-time":"2014-05-29T02:22:12Z","timestamp":1401330132000},"page":"174-187","source":"Crossref","is-referenced-by-count":2,"title":["Introducing Aspect\u2013Oriented Specification for Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Marcel","family":"Dausend","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Raschke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"15_CR2","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1997","unstructured":"Dijkstra, E.W.: A Discipline of Programming, 1st edn. Prentice Hall PTR, Upper Saddle River (1997)","edition":"1"},{"key":"15_CR3","unstructured":"Laddad, R.: AspectJ in Action - Enterprise AOP with Spring Applications. Manning, G. (2010)"},{"key":"15_CR4","unstructured":"Kohlmeyer, J.: Eine formale Semantik f\u00fcr die Verkn\u00fcpfung von Verhaltensbeschreibungen in der UML 2. PhD thesis, Universit\u00e4t Ulm (2009)"},{"key":"15_CR5","unstructured":"Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. PhD thesis, Ulm University (2005)"},{"key":"15_CR6","unstructured":"OMG Unified Modeling Language (OMG UML) Superstructure v2.4.1 (2011)"},{"key":"15_CR7","unstructured":"Dausend, M.: Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems. Technical report, Ulm University, Ulm (2011)"},{"key":"15_CR8","unstructured":"The AspectJ Team. The AspectJ Project (2011), http:\/\/www.eclipse.org\/aspectj\/ (last access January 2014)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines \u2013 A Method for High-Level System Design and Analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"15_CR10","unstructured":"Farahbod, R.: CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems. PhD thesis, Simon Fraser University, Burnaby, Canada (2009)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-44806-3_3","volume-title":"Semantics, Applications, and Implementation of Program Generation","author":"M. Wand","year":"2001","unstructured":"Wand, M.: A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. In: Taha, W. (ed.) SAIG 2001. LNCS, vol.\u00a02196, pp. 45\u201346. Springer, Heidelberg (2001)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Hajiyev, E., Ongkingco, N., de Moor, O., Sereni, D., Tibble, J., Verbaere, M.: Semantics of Static Pointcuts in Aspect. In: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, vol.\u00a042(1), pp. 11\u201323 (2007)","DOI":"10.1145\/1190215.1190221"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Clifton, C., Leavens, G.T.: MiniMAO: An imperative core language for studying aspect-oriented reasoning. Science of Computer Programming (2006)","DOI":"10.1016\/j.scico.2006.02.009"},{"key":"15_CR14","unstructured":"Blair, L., Blair, G.S., Andersen, A.: Separating Functional Behaviour and Performance Constraints: AspectOriented Specification. Technical report, Computing Department, Lancaster University, Bailrigg, Lancaster (1998)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Agostinho, S., Moreira, A., Marques, A., Ara\u00fajo, J., Brito, I., Ferreira, R., Raminhos, R., Kovacevic, J., Ribeiro, R., Chevalley, P.: A Metadata-Driven Approach for Aspect-Oriented Requirements Analysis. In: International Conference on Enterprise Information Systems, pp. 129\u2013136 (2008)","DOI":"10.5220\/0001684101290136"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43652-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:46:58Z","timestamp":1746247618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43652-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436516","9783662436523"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43652-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}