{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:28:36Z","timestamp":1761708516060,"version":"3.37.3"},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,4,18]],"date-time":"2010-04-18T00:00:00Z","timestamp":1271548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10270-010-0162-z","type":"journal-article","created":{"date-parts":[[2010,4,17]],"date-time":"2010-04-17T07:16:15Z","timestamp":1271488575000},"page":"127-149","source":"Crossref","is-referenced-by-count":7,"title":["Modeling and enforcing invariants of dynamic software architectures"],"prefix":"10.1007","volume":"11","author":[{"given":"Slim","family":"Kallel","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Hadj Kacem","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,4,18]]},"reference":[{"key":"162_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Proceedings of the 1st Internationsl Conference on Fundamental Approaches to Software Engineering. Volume 1382 of Lecture Notes in Computer Science, pp. 21\u201337. Springer, Berlin (1998)","DOI":"10.1007\/BFb0053581"},{"key":"162_CR2","doi-asserted-by":"crossref","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the 1st Workshop on Self-healing Systems, pp. 27\u201332. ACM, New York (2002)","DOI":"10.1145\/582128.582134"},{"key":"162_CR3","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented Programming. In: Proceedings of the 11th European Conference on Object-oriented Programming. Lecture Notes in Computer Science, vol. 1241, pp. 220\u2013242. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053381"},{"key":"162_CR4","unstructured":"OMG: UML 2.0 Superstructure Specification, Final Adopted Specification. OMG document (2003)"},{"key":"162_CR5","volume-title":"The Z notation: a reference manual, Second Edition","author":"M. Spivey","year":"1992","unstructured":"Spivey M.: The Z notation: a reference manual, Second Edition. Prentice Hall, New York (1992)"},{"key":"162_CR6","unstructured":"Meisels, I., Saaltink, M.: The Z\/EVES Reference Manual (for Version 1.5). Reference manual, ORA Canada (1997)"},{"key":"162_CR7","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Proceedings of the 15th European Conference on Object-oriented Programming. Lecture Notes in Computer Science, vol. 2072, pp. 327\u2013353. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45337-7_18"},{"key":"162_CR8","doi-asserted-by":"crossref","unstructured":"Bockisch, C., Kanthak, S., Haupt, M., Arnold, M., Mezini, M.: Efficient control flow quantification. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, pp. 125\u2013138. ACM, New York (2006)","DOI":"10.1145\/1167473.1167484"},{"key":"162_CR9","doi-asserted-by":"crossref","unstructured":"Guennoun, K., Drira, K., Chassot, C.: Architectural adaptability management for mobile cooperative systems. In: Proceedings of the International Conference on Multimedia and Ubiquitous Engineering, pp. 1130\u20131135. IEEE Computer Society (2007)","DOI":"10.1109\/MUE.2007.90"},{"key":"162_CR10","doi-asserted-by":"crossref","unstructured":"Loulou, I., Hadj Kacem, A., Jmaiel, M., Drira, K.: Formal design of structural and dynamic features of publish\/subscribe architectural styles. In: Proceedings of the 1st European Conference on Software Architecture. Lecture Notes in Computer Science, vol. 4758, pp. 44\u201359. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75132-8_5"},{"key":"162_CR11","unstructured":"Hadj Kacem, M., Miladi, M.N., Jmaiel, M., Hadj Kacem, A., Drira, K.: Towards a UML profile for the description of dynamic software architectures. In: Proceedings of the International Conference on Component-oriented Enterprise Applications, pp. 25\u201339 (2005)"},{"key":"162_CR12","doi-asserted-by":"crossref","unstructured":"Hadj Kacem, M., Jmaiel, M., Hadj Kacem, A., Drira, K.: Describing dynamic software architectures using an extended UML model. In: Proceedings of the 21st Annual Symposium on Applied Computing, Track\u2014Model Transformation. Volume 2, pp. 1245\u20131249. ACM, New York (2006)","DOI":"10.1145\/1141277.1141569"},{"key":"162_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla M., B\u00fcttner F., Richters M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program 69, 27\u201334 (2007)","journal-title":"Sci. Comput. Program"},{"key":"162_CR14","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D. Le M\u00e9tayer","year":"1998","unstructured":"Le M\u00e9tayer D.: Describing Software Architecture Styles Using Graph Grammars. IEEE Trans. Softw. Eng. 24, 521\u2013533 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"162_CR15","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Montanari, P.I.U.: Graph grammars and constraint solving for software architecture styles. In: Proceedings of the Third International Workshop on Software Architecture, pp. 69\u201372. ACM, New York (1998)","DOI":"10.1145\/288408.288426"},{"key":"162_CR16","doi-asserted-by":"crossref","unstructured":"Miladi, M.N., Kacem, M.H., Boukhris, A., Jmaiel, M., Drira, K.: A uml rule-based approach for describing and checking dynamic software architectures. In: Proceedings of the 6th ACS\/IEEE International Conference on Computer Systems and Applications, pp. 1107\u20131114. IEEE (2008)","DOI":"10.1109\/AICCSA.2008.4493686"},{"key":"162_CR17","doi-asserted-by":"crossref","unstructured":"Sengupta, S., Bhattacharya, S.: Formalization of UML diagrams and their consistency verification: A Z notation based approach. In: Proceedings of the 1st Conference on India Software Engineering, pp. 151\u2013152. ACM, New York (2008)","DOI":"10.1145\/1342211.1342248"},{"key":"162_CR18","doi-asserted-by":"crossref","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An overview of RoZ: a tool for integrating UML and Z specifications. In: Proceedings of the 12th International Conference on Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 1789, pp. 417\u2013430. Springer, Berlin (2000)","DOI":"10.1007\/3-540-45140-4_28"},{"key":"162_CR19","doi-asserted-by":"crossref","unstructured":"Loulou, I., Hadj Kacem, A., Jmaiel, M., Drira, K.: Towards a unified graph-based framework for dynamic component-based architectures description in Z. In: Proceedings of the IEEE\/ACS International Conference on Pervasive Services, pp. 227\u2013234. IEEE Computer Society (2004)","DOI":"10.1109\/PERSER.2004.1356806"},{"key":"162_CR20","doi-asserted-by":"crossref","unstructured":"Hadj Kacem, M., Jmaiel, M., Hadj Kacem, A., Drira, K.: An UML-based approach for validation of software architecture descriptions. In: Proceedings of the 2nd International Conference on Trends in Enterprise Application Architecture. Lecture Notes in Computer Science, vol. 4473, pp. 158\u2013171. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75912-6_12"},{"key":"162_CR21","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/226241.226244","volume":"4","author":"G.D. Abowd","year":"1995","unstructured":"Abowd G.D., Allen R., Garlan D.: Formalizing style to understand descriptions of software architecture. ACM Trans. Softw. Eng. Method. 4, 319\u2013364 (1995)","journal-title":"ACM Trans. Softw. Eng. Method."},{"key":"162_CR22","doi-asserted-by":"crossref","unstructured":"Kallel, S., Charfi, A., Mezini, M., Jmaiel, M.: Combining formal methods and aspects for specifying and enforcing architectural invariants. In: Proceedings of the 9th International Conference on Coordination Models and Languages. Lecture Notes in Computer Science, vol. 4467, pp. 211\u2013230. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-72794-1_12"},{"key":"162_CR23","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2008.06.018","volume":"215","author":"S. Kallel","year":"2008","unstructured":"Kallel S., Charfi A., Jmaiel M.: Using aspects for enforcing formal architectural invariants. Electr. Notes Theoret. Comput. Sci. 215, 5\u201321 (2008)","journal-title":"Electr. Notes Theoret. Comput. Sci."},{"key":"162_CR24","doi-asserted-by":"crossref","unstructured":"Michelsen, C.D., Dominick, W.D., Urban, J.E.: A methodology for the objective evaluation of the user\/system interfaces of the madam system using software engineering principles. In: Proceedings of the 18th Annual Southeast Regional Conference, pp. 103\u2013109. ACM, New York (1980)","DOI":"10.1145\/503838.503847"},{"key":"162_CR25","unstructured":"Sacha, K.: Evaluation of software quality. In: Proceeding of the 2005 Conference on Software Engineering: Evolution and Emerging Technologies, pp. 381\u2013388. IOS Press, Amsterdam (2005)"},{"key":"162_CR26","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B. Kitchenham","year":"1995","unstructured":"Kitchenham B., Pickard L., Pfleeger S.L.: Case studies for method and tool evaluation. IEEE Softw. 12, 52\u201362 (1995)","journal-title":"IEEE Softw."},{"key":"162_CR27","doi-asserted-by":"crossref","unstructured":"Kaplan, S.M., Loyall, J.P., K.Goering, S.: Specifying concurrent languages and systems with delta-grammars. In: Research Directions in Concurrent Object-oriented Programming, pp. 235\u2013256. MIT Press, Cambridge (1993)","DOI":"10.7551\/mitpress\/2087.003.0014"},{"key":"162_CR28","unstructured":"Khan, K.: JBOSSAOP: Framework for Organizing Cross Cutting Concerns. http:\/\/jboss.org\/jbossaop\/ (2006)"},{"key":"162_CR29","unstructured":"Rho, T., Kniesel, G.: Uniform genericity for aspect languages. Technical report IAI-TR-2004-4, University of Bonn, Germany (2004)"},{"key":"162_CR30","doi-asserted-by":"crossref","unstructured":"Ostermann, K., Mezini, M., Bockisch, C.: Expressive pointcuts for increased modularity. In: Proceedings of the 19th European Conference on Object-oriented Programming. Lecture Notes in Computer Science, vol. 3586, pp. 214\u2013240. Springer, Berlin (2005)","DOI":"10.1007\/11531142_10"},{"key":"162_CR31","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A Survey of self management in dynamic software architecture specifications. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Self-Managed Systems, pp. 28\u201333. ACM, New York (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"162_CR32","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Formal specification: a Roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 147\u2013159. ACM, New York (2000)","DOI":"10.1145\/336512.336546"},{"key":"162_CR33","unstructured":"Endler, M., Wei, J.: Programming generic dynamic reconfigurations for distributed applications. In: Proceedings of the International Workshop Configurable Distributed Systems, pp. 68\u201379. IEEE (1992)"},{"key":"162_CR34","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: Bounded nondeterminism and the approximation induction principle in process algebra. In: Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Sciences. Lecture Notes in Computer Science, vol. 247, pp. 336\u2013347. Springer, Berlin (1987)","DOI":"10.1007\/BFb0039617"},{"key":"162_CR35","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Proceedings of the 5th European Software Engineering Conference. Lecture Notes in Computer Science, vol. 989, pp. 137\u2013153. Springer, Berlin (1995)","DOI":"10.1007\/3-540-60406-5_12"},{"key":"162_CR36","doi-asserted-by":"crossref","unstructured":"Miladi, M.N., Krichen, I., Jmaiel, M., Drira, K.: An xADL Extension for managing dynamic deployment in distributed service oriented architectures. In: Prooceedings of the Third IPM International Conference on Fundamentals of Software Engineering. Lecture Notes in Computer Science, vol. 5961. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-11623-0_27"},{"key":"162_CR37","doi-asserted-by":"crossref","unstructured":"Vergnaud, T., Pautet, L., Kordon, F.: Using the AADL to describe distributed applications from middleware to software components. In: Proceedings of the 10th International Conference on Reliable Software Techologies Ada-Europe. Lecture Notes in Computer Science, vol. 3555, pp. 67\u201378. Springer, Berlin (2005)","DOI":"10.1007\/11499909_6"},{"key":"162_CR38","doi-asserted-by":"crossref","unstructured":"Leclercq, M., Ozcan, A.E., Quema, V., Stefani, J.B.: Supporting heterogeneous architecture descriptions in an extensible toolset. In: Proceedings of the 29th International Conference on Software Engineering, pp. 209\u2013219. IEEE (2007)","DOI":"10.1109\/ICSE.2007.82"},{"key":"162_CR39","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Martinez, J.E., Sierra-Alonso, A.: UML 1.4 versus UML 2.0 as languages to describe software architectures. In: Proceedings of the European Workshop on Software Architecture. Lecture Notes in Computer Science, vol. 3047, pp. 88\u2013102. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24769-2_7"},{"key":"162_CR40","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Taylor, R.N.: A language and environment for architecture-based software development and evolution. In: Proceedings of the 21st International Conference on Software Engineering, pp. 44\u201353. ACM, New York (1999)","DOI":"10.1145\/302405.302410"},{"key":"162_CR41","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/504087.504088","volume":"11","author":"N. Medvidovic","year":"2002","unstructured":"Medvidovic N., Rosenblum D.S., Redmiles D.F., Robbins J.E.: Modeling software architectures in the unified modeling language. ACM Trans. Softw. Eng. Method 11, 2\u201357 (2002)","journal-title":"ACM Trans. Softw. Eng. Method"},{"key":"162_CR42","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/773126.773140","volume":"28","author":"J.E. P\u00e9rez-Martinez","year":"2003","unstructured":"P\u00e9rez-Martinez J.E.: Heavyweight extensions to the UML metamodel to describe the C3 architectural style. SIGSOFT Softw. Eng. Notes 28, 5\u201311 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"162_CR43","first-page":"1","volume":"30","author":"Q. Yang","year":"2005","unstructured":"Yang Q., Yang X.C., Xu M.W.: A framework for dynamic software architecture-based self-healing. SIGSOFT Softw. Eng. Notes 30, 1\u20134 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"162_CR44","doi-asserted-by":"crossref","unstructured":"Georgas, J.C., Taylor, R.N.: Towards a knowledge-based approach to architectural adaptation management. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, pp. 59\u201363. ACM, New York (2004)","DOI":"10.1145\/1075405.1075417"},{"key":"162_CR45","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Proceedings of the 2007 Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.19"},{"key":"162_CR46","doi-asserted-by":"crossref","unstructured":"Tisato, F., Savigni, A., Cazzola, W., Sosio, A.: Architectural reflection: realising software architectures via reflective activities. In: Revised Papers from the Second International Workshop on Engineering Distributed Objects, pp. 102\u2013115. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45254-0_10"},{"key":"162_CR47","unstructured":"Cazzola, W., Ghoneim, A., Saake, G.: RAMSES: a reflective middleware for software evolution. In: Proceedings of the 1st ECOOP Workshop on Reflection, AOP and Meta-data for Software Evolution, pp. 21\u201326 (2004)"},{"key":"162_CR48","unstructured":"Cazzola, W., Ghoneim, A., Saake, G.: System evolution through design information evolution: a case study. In: Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, pp. 145\u2013150. ISCA (2004)"},{"key":"162_CR49","doi-asserted-by":"crossref","unstructured":"Dowling, J., Cahill, V.: Self-managed decentralised systems using k-components and collaborative reinforcement learning. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, pp. 39\u201343. ACM, New York (2004)","DOI":"10.1145\/1075405.1075413"},{"key":"162_CR50","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1504\/IJCAT.2008.017722","volume":"31","author":"N. Pessemier","year":"2008","unstructured":"Pessemier N., Seinturier L., Duchien L., Coupaye T.: A component-based and aspect-oriented model for software evolution. Int. J. Comput. Appl. Technol. 31, 94\u2013105 (2008)","journal-title":"Int. J. Comput. Appl. Technol."},{"key":"162_CR51","doi-asserted-by":"crossref","unstructured":"Dowling, J., Cahill, V.: The k-component architecture meta-model for self-adaptive software. In: Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns. Lecture Notes in Computer Science, vol. 2192, pp. 81\u201388. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45429-2_6"},{"key":"162_CR52","doi-asserted-by":"crossref","unstructured":"Moreira, R.S., Blair, G.S., Carrapatoso, E.: Supporting adaptable distributed systems with formaware. In: Proceedings of the 24th International Conference on Distributed Computing Systems Workshops, pp. 320\u2013325. IEEE Computer Society (2004)","DOI":"10.1109\/ICDCSW.2004.1284049"},{"key":"162_CR53","doi-asserted-by":"crossref","unstructured":"Cheng, S.W., Garlan, D., Schmerl, B.R., Sousa, J.P., Spitnagel, B., Steenkiste, P.: Using architectural style as a basis for system self-repair. In: Proceedings of 3rd IEEE\/IFIP Conference on Software Architecture, pp. 45\u201359. Kluwer, Dordretcht (2002)","DOI":"10.1007\/978-0-387-35607-5_3"},{"key":"162_CR54","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Runtime software adaptation: framework, approaches, and styles. In: Companion of the 30th International Conference on Software Engineering, pp. 899\u2013910. ACM, New York (2008)","DOI":"10.1145\/1370175.1370181"},{"key":"162_CR55","unstructured":"Yu, H., Liu, D., Shao, Z., He, X.: Modeling complex software systems using an aspect extension of object-z. In: Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, pp. 11\u201316 (2006)"},{"key":"162_CR56","doi-asserted-by":"crossref","unstructured":"Georg, G., Ray, I., France, R.: Using aspects to design a secure system. In: Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems, pp. 117\u2013126. IEEE Computer Society (2002)","DOI":"10.1109\/ICECCS.2002.1181504"},{"key":"162_CR57","unstructured":"Pavlich-Mariscal, J., Michel, L., Demurjian, S.: Enhancing UML to model custom security aspects. In: Proceedings of the 11th International Workshop on Aspect-oriented Modeling, p. 10 (2007)"},{"key":"162_CR58","unstructured":"Iqbal, A., Elrad, T.: Modeling timing constraints of real-time systems as crosscutting concerns. In: Proceedings of the 10th International Workshop on Aspect-oriented Modeling, p. 10 (2006)"},{"key":"162_CR59","unstructured":"Cooper, K., Dai, L., Dascalu, S., Mehta, N., Velagapudi, S.: Towards aspect-oriented model-driven code generation in the formal design analysis framework. In: Proceedings of the 2007 International Conference on Software Engineering Research and Practice, pp. 628\u2013633. CSREA Press, Las Vegas (2007)"},{"key":"162_CR60","doi-asserted-by":"crossref","first-page":"167","DOI":"10.5381\/jot.2007.6.7.a7","volume":"6","author":"W. Cazzola","year":"2007","unstructured":"Cazzola W., Pini S.: On the footprints of join points: the blueprint approach. J. Object Technol. 6, 167\u2013192 (2007)","journal-title":"J. Object Technol."},{"key":"162_CR61","unstructured":"Cazzola, W., Pini, S.: AOP vs Software evolution: a score in favor of the blueprint. In: Proceedings of RAM-SE\u201907-ECOOP\u201907 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Fakult\u00e4t f\u00fcr Informatik, pp. 81\u201391. Universit\u00e4t Magdeburg (2007)"},{"key":"162_CR62","doi-asserted-by":"crossref","unstructured":"Klein, J., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.M.: Semantic-based weaving of scenarios. In: Proceedings of the 5th International Conference on Aspect-oriented Software Development, pp. 27\u201338. ACM, New York (2006)","DOI":"10.1145\/1119655.1119662"},{"key":"162_CR63","unstructured":"Stein, D., Hanenberg, S., Unland, R.: Modeling pointcuts. In: Proceedings of the AOSD Workshop on Aspect-oriented Requirements Engineering and Architecture Design (2004)"},{"key":"162_CR64","unstructured":"Jia, X., Skevoulis, S.: Code Synthesis Based on Object-oriented Design Models and Formal Specifications. In: Proceedings of the 22nd International Computer Software and Applications Conference, pp. 393\u2013399. IEEE Computer Society (1998)"},{"key":"162_CR65","doi-asserted-by":"crossref","unstructured":"Ramkarthik, S., Zhang, C.: Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z. In: Proceedings of the 5th IEEE\/ACIS International Conference on Computer and Information Science, pp. 405\u2013411. IEEE Computer Society (2006)","DOI":"10.1109\/ICIS-COMSAR.2006.41"},{"key":"162_CR66","doi-asserted-by":"crossref","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications, pp. 345\u2013364. ACM, New York (2005)","DOI":"10.1145\/1094811.1094839"},{"key":"162_CR67","unstructured":"Farooq, U., Lam, C.P., Li, H.: Transformation Methodology for UML 2.0 Activity diagram into colored petri nets. In: Proceedings of the third Conference on IASTED International Conference, pp. 128\u2013133. ACTA Press (2007)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0162-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0162-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0162-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T01:40:46Z","timestamp":1740015646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0162-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,18]]},"references-count":67,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["162"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0162-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2010,4,18]]}}}