{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:45:08Z","timestamp":1743093908644,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540348931"},{"type":"electronic","value":"9783540348955"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11768869_9","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:32:10Z","timestamp":1148549530000},"page":"93-107","source":"Crossref","is-referenced-by-count":1,"title":["Temporal Superimposition of Aspects for Dynamic Software Architecture"],"prefix":"10.1007","author":[{"given":"Carlos E.","family":"Cuesta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda","family":"del Pilar Romay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"de la Fuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Barrio-Sol\u00f3rzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45429-2_14","volume-title":"Metalevel Architectures and Separation of Crosscutting Concerns","author":"J.H. Andrews","year":"2001","unstructured":"Andrews, J.H.: Process-Algebraic Foundations of Aspect-Oriented Programming. In: Yonezawa, A., Matsuoka, S. (eds.) Reflection 2001. LNCS, vol.\u00a02192, Springer, Heidelberg (2001)"},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05082-8","volume-title":"Invasive Software Composition","author":"U. A\u00dfmann","year":"2003","unstructured":"A\u00dfmann, U.: Invasive Software Composition. Springer, Heidelberg (2003)"},{"key":"9_CR3","first-page":"240","volume-title":"15th Annual ACM Symposium on Principles of Programming Languages, POPL 1988","author":"L. Boug\u00e9","year":"1988","unstructured":"Boug\u00e9, L., Francez, N.: A Compositional Approach to Superimposition. In: 15th Annual ACM Symposium on Principles of Programming Languages, POPL 1988, San Diego, pp. 240\u2013249. ACM Press, New York (1988)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/B978-044482830-9\/50022-9","volume-title":"Handbook of Process Algebra, ch. 4","author":"J.C. Bradfield","year":"2001","unstructured":"Bradfield, J.C., Stirling, C.P.: Modal Logics and mu-Calculi: An Introduction. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, ch. 4, pp. 293\u2013330. Elsevier Science B.V, Amsterdam (2001)"},{"key":"9_CR5","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)"},{"key":"9_CR6","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cuesta, C.E.: Reflection-based Dynamic Software Architecture. ProQuest Information & Learning, Madrid (May 2003)","DOI":"10.1007\/978-3-540-24769-2_4"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.jlap.2004.05.003","volume":"63","author":"E. Carlos","year":"2005","unstructured":"Carlos, E., de la Fuente, P., Barrio-Sol\u00f3rzano, M., Beato, E.: An \u201cAbstract Process\u201d Approach to Algebraic Dynamic Architecture Description. Journal of Logic and Algebraic Programming\u00a063(2), 177\u2013214 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-0-387-35607-5_9","volume-title":"Software Architecture: System Design, Development and Maintenance, ch. 9","author":"C.E. Cuesta","year":"2002","unstructured":"Cuesta, C.E., de la Fuente, P., Sol\u00f3rzano, M.B., Beato, M.E.: Introducing Reflection in Architecture Description Languages. In: Bosch, J., Gentleman, M., Hofmeister, C., Kuusela, J. (eds.) Software Architecture: System Design, Development and Maintenance, ch. 9, pp. 143\u2013156. Kluwer, Dordrecht (2002)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24769-2_4","volume-title":"Software Architecture","author":"C.E. Cuesta","year":"2004","unstructured":"Cuesta, C.E., Romay, M.P., de la Fuente, P., Barrio-Sol\u00f3rzano, M.: Reflection-based, Aspect-oriented Software Architecture. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 43\u201356. Springer, Heidelberg (2004)"},{"issue":"2\u20133","key":"9_CR11","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"Fiadeiro, J.L., Maibaum, T.S.E.: Categorical Semantics of Parallel Program Design. Science of Computer Programming\u00a028(2\u20133), 111\u2013138 (1997)","journal-title":"Science of Computer Programming"},{"key":"9_CR12","series-title":"The Object Technology Series","volume-title":"Aspect-Oriented Software Development","year":"2004","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Aksit, M. (eds.): Aspect-Oriented Software Development. The Object Technology Series. Addison-Wesley, Reading (2004)"},{"key":"9_CR13","unstructured":"Filman, R.E., Friedman, D.P.: Aspect-Oriented Programming is Quantification and Obliviousness. In: OOPSLA 2000 Workshop on Advanced Separation of Concerns (ASoC 2000) (October 2000)"},{"key":"9_CR14","unstructured":"Katara, M.: Superposing UML class diagrams. In: AOSD 2002 First Workshop on Aspect-Oriented Modeling with UML (AOM1), Enschede, The Netherlands (April 2002)"},{"key":"9_CR15","first-page":"1","volume-title":"Proceedings of the Second International Conference on Aspect-Oriented Software Development (AOSD 2003)","author":"M. Katara","year":"2003","unstructured":"Katara, M., Katz, S.: Architectural Views of Aspects. In: Proceedings of the Second International Conference on Aspect-Oriented Software Development (AOSD 2003), pp. 1\u201310. ACM Press, New York (2003)"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S. Katz","year":"1993","unstructured":"Katz, S.: A Superimposition Control Construct for Distributed Systems. ACM Transactions on Programming Languages and Systems\u00a015(2), 337\u2013356 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR17","unstructured":"Kellom\u00e4ki, P.: A Formal Basis for Aspect-Oriented Specification with Superposition. In: Leavens, G.T., Cytron, R. (eds.) FOAL 2002 Proceedings: Foundations of Aspect-Oriented Languages, April 2002, pp. 27\u201332 (2002) ISU-TR02-06"},{"key":"9_CR18","unstructured":"Kojarski, S., Lieberherr, K., Lorenz, D.H., Hirschfeld, R.: Aspectual Reflection. In: Proceedings of SPLAT 2003 (March 2003)"},{"issue":"5","key":"9_CR19","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/46.5.542","volume":"46","author":"K. Lieberherr","year":"2003","unstructured":"Lieberherr, K., Lorenz, D.H., Ovlinger, J.: Aspectual Collaborations: Combining Modules and Aspects. The Computer Journal\u00a046(5), 542\u2013565 (2003)","journal-title":"The Computer Journal"},{"issue":"12","key":"9_CR20","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the Criteria to Be Used in Decomposing Systems into Modules. Communications of the ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/508386.508391","volume-title":"Proceedings of the First International Conference on Aspect-Oriented Software Development (AOSD 2002)","author":"M. Sihman","year":"2002","unstructured":"Sihman, M., Katz, S.: A Calculus of Superimpositions for Distributed Systems. In: Proceedings of the First International Conference on Aspect-Oriented Software Development (AOSD 2002), April 2002, pp. 28\u201340. ACM Press, New York (2002)"},{"issue":"5","key":"9_CR22","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1093\/comjnl\/46.5.529","volume":"46","author":"M. Sihman","year":"2003","unstructured":"Sihman, M., Katz, S.: Superimpositions and Aspect-Oriented Programming. The Computer Journal\u00a046(5), 529\u2013541 (2003)","journal-title":"The Computer Journal"},{"key":"9_CR23","first-page":"477","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1991","unstructured":"Stirling, C.: Modal and Temporal Logics. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a02, pp. 477\u2013563. Oxford University Press, Oxford (1991)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-24769-2_13","volume-title":"Software Architecture","author":"E. Woods","year":"2004","unstructured":"Woods, E.: Experiences Using Viewpoints for Information Systems Architecture: an Industrial Experience Report. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 182\u2013193. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768869_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T20:39:42Z","timestamp":1555619982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768869_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540348931","9783540348955"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11768869_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}