{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:09:10Z","timestamp":1725689350584},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,21]]},"DOI":"10.1145\/1146238.1146259","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"181-190","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects"],"prefix":"10.1145","author":[{"given":"Kimmo","family":"Kiviluoma","sequence":"first","affiliation":[{"name":"Solita Oy, Tampere, Finland"}]},{"given":"Johannes","family":"Koskinen","sequence":"additional","affiliation":[{"name":"Tampere University of Technology, Tampere, Finland"}]},{"given":"Tommi","family":"Mikkonen","sequence":"additional","affiliation":[{"name":"Tampere University of Technology, Tampere, Finland"}]}],"member":"320","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Proceedings of the Nordic Workshop on Software Development Tools and Techniques","author":"Airaksinen J.","year":"2002","unstructured":"J. Airaksinen , K. Koskimies , J. Koskinen , J. Peltonen , P. Selonen , M. Siikarla , and T. Syst\u00e4 . xUMLi: Towards a tool-independent UML processing platform . In Proceedings of the Nordic Workshop on Software Development Tools and Techniques , pages 1 - 16 , Copenhagen, Denmark , Aug. 2002 . IT University of Copenhagen. J. Airaksinen, K. Koskimies, J. Koskinen, J. Peltonen, P. Selonen, M. Siikarla, and T. Syst\u00e4. xUMLi: Towards a tool-independent UML processing platform. In Proceedings of the Nordic Workshop on Software Development Tools and Techniques, pages 1-16, Copenhagen, Denmark, Aug. 2002. IT University of Copenhagen."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/www.eclipse.org\/aspectj\/doc\/released\/progguide\/. The AspectJ Programming Guide","author":"Team The","year":"2003","unstructured":"The AspectJ Team , http:\/\/www.eclipse.org\/aspectj\/doc\/released\/progguide\/. The AspectJ Programming Guide , 2003 . The AspectJ Team, http:\/\/www.eclipse.org\/aspectj\/doc\/released\/progguide\/. The AspectJ Programming Guide, 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"sit","author":"Filman R. E.","year":"2005","unstructured":"R. E. Filman , T. Elrad , S. Clarke , and M. Ak , sit , editors. Aspect-Oriented Software Development. Addison-Wesley , Boston, 2005 . R. E. Filman, T. Elrad, S. Clarke, and M. Ak, sit, editors. Aspect-Oriented Software Development. Addison-Wesley, Boston, 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271174"},{"key":"e_1_3_2_1_5_1","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design patterns: elements of reusable object-oriented software . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1995."},{"key":"e_1_3_2_1_6_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2000","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification , 2 nd Edition. Addison-Wesley Longman Publishing Co., Inc. , 2000 . J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, 2nd Edition. Addison-Wesley Longman Publishing Co., Inc., 2000.","edition":"2"},{"key":"e_1_3_2_1_7_1","volume-title":"The 4th AOSD Modeling With UML Workshop","author":"Groher I.","year":"2003","unstructured":"I. Groher and S. Schulze . Generating aspect code from UML models. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison,M. Kand\u00e9, D. Stein, P. Tarr, and A. Zakaria, editors , The 4th AOSD Modeling With UML Workshop , 2003 . I. Groher and S. Schulze. Generating aspect code from UML models. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison,M. Kand\u00e9, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th AOSD Modeling With UML Workshop, 2003."},{"key":"e_1_3_2_1_8_1","volume-title":"Computer Society. 26th International Conference on Software Engineering (ICSE 2004)","author":"IEEE","year":"2004","unstructured":"IEEE Computer Society. 26th International Conference on Software Engineering (ICSE 2004) , 23-28 May 2004 , Edinburgh, United Kingdom. IEEE Computer Society , 2004. IEEE Computer Society. 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_10_1","first-page":"62","volume-title":"Proceedings of the NWUML'2005: the 3rd Nordic Workshop on UML and Software Modeling","author":"Kiviluoma K.","year":"2005","unstructured":"K. Kiviluoma , J. Koskinen , and T. Mikkonen . Run-time monitoring of behavioral profiles with aspects . In Proceedings of the NWUML'2005: the 3rd Nordic Workshop on UML and Software Modeling , pages 62 -- 76 . Department of Computer Sciences, University of Tampere , 2005 . K. Kiviluoma, J. Koskinen, and T. Mikkonen. Run-time monitoring of behavioral profiles with aspects. In Proceedings of the NWUML'2005: the 3rd Nordic Workshop on UML and Software Modeling, pages 62--76. Department of Computer Sciences, University of Tampere, 2005."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of Consistency in Model Driven Engineering (CoMoDe) Workshop of the European Conference on MDA - Foundations and Applications (ECMDA)","author":"Koskinen J.","year":"2005","unstructured":"J. Koskinen , K. Koskimies , T. Mikkonen , and T. Syst\u00e4 . Profile-based checking of behavioral consistency . In Proceedings of Consistency in Model Driven Engineering (CoMoDe) Workshop of the European Conference on MDA - Foundations and Applications (ECMDA) , November 2005 . J. Koskinen, K. Koskimies, T. Mikkonen, and T. Syst\u00e4. Profile-based checking of behavioral consistency. In Proceedings of Consistency in Model Driven Engineering (CoMoDe) Workshop of the European Conference on MDA - Foundations and Applications (ECMDA), November 2005."},{"key":"e_1_3_2_1_12_1","first-page":"15","volume-title":"ICSE","author":"M\u00e4kinen E.","year":"2001","unstructured":"E. M\u00e4kinen and T. Syst\u00e4 . MAS - an interactive synthesizer to support behavioral modeling in UML . In ICSE , pages 15 -- 24 . IEEE Computer Society , 2001 . E. M\u00e4kinen and T. Syst\u00e4. MAS - an interactive synthesizer to support behavioral modeling in UML. In ICSE, pages 15--24. IEEE Computer Society, 2001."},{"volume-title":"http:\/\/maven.apache.org\/","year":"2005","key":"e_1_3_2_1_13_1","unstructured":"Maven. http:\/\/maven.apache.org\/ , 2005 . Maven. http:\/\/maven.apache.org\/, 2005."},{"key":"e_1_3_2_1_14_1","unstructured":"Object Management Group Inc. OMG Unified Modeling Language (UML) Specification\/03-03-01 March 2003. Version 1.5.  Object Management Group Inc. OMG Unified Modeling Language (UML) Specification\/03-03-01 March 2003. Version 1.5."},{"key":"e_1_3_2_1_15_1","unstructured":"Object Management Group Inc. Unified Modeling Language: Superstructure version 2.0 Final Adopted Specification ptc\/03-08-02 August 2003. Version 2.0.  Object Management Group Inc. Unified Modeling Language: Superstructure version 2.0 Final Adopted Specification ptc\/03-08-02 August 2003. Version 2.0."},{"key":"e_1_3_2_1_16_1","volume-title":"http:\/\/www-306.ibm.com\/software\/rational. Rational Rose","author":"Software Rational","year":"2005","unstructured":"Rational Software , http:\/\/www-306.ibm.com\/software\/rational. Rational Rose , 2005 . Rational Software, http:\/\/www-306.ibm.com\/software\/rational. Rational Rose, 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"The 4th AOSD Modeling With UML Workshop","author":"Richters M.","year":"2003","unstructured":"M. Richters and M. Gogolla . Aspect-oriented monitoring of UML and OCL constraints. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kand\u00e9, D. Stein, P. Tarr, and A. Zakaria, editors , The 4th AOSD Modeling With UML Workshop , 2003 . M. Richters and M. Gogolla. Aspect-oriented monitoring of UML and OCL constraints. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kand\u00e9, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th AOSD Modeling With UML Workshop, 2003."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018431.1021421"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940081"},{"key":"e_1_3_2_1_20_1","volume-title":"http:\/\/www.springframework.org","author":"Framework The Spring","year":"2005","unstructured":"The Spring Framework . http:\/\/www.springframework.org , 2005 . The Spring Framework. http:\/\/www.springframework.org, 2005."},{"key":"e_1_3_2_1_21_1","volume-title":"RV'05 - Fifth Workshop on Runtime Verification","author":"Stolz V.","year":"2005","unstructured":"V. Stolz and E. Bodden . Temporal Assertions using AspectJ . In RV'05 - Fifth Workshop on Runtime Verification , July 2005 . V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In RV'05 - Fifth Workshop on Runtime Verification, July 2005."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"e_1_3_2_1_24_1","first-page":"470","volume-title":"ICSE {8}","author":"Yan H.","unstructured":"H. Yan , D. Garlan , B. R. Schmerl , J. Aldrich , and R. Kazman . Discotect: A system for discovering architectures from running systems . In ICSE {8} , pages 470 -- 479 . H. Yan, D. Garlan, B. R. Schmerl, J. Aldrich, and R. Kazman. Discotect: A system for discovering architectures from running systems. In ICSE {8}, pages 470--479."},{"key":"e_1_3_2_1_25_1","first-page":"242","volume-title":"ICSE 8","author":"Ziadi T.","unstructured":"T. Ziadi , L. H\u00e9lou\u00ebt , and J.-M. J\u00e9z\u00e9quel . Revisiting statechart synthesis with an algebraic approach . In ICSE 8 , pages 242 -- 251 . T. Ziadi, L. H\u00e9lou\u00ebt, and J.-M. J\u00e9z\u00e9quel. Revisiting statechart synthesis with an algebraic approach. In ICSE 8, pages 242--251."}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Maine USA","acronym":"ISSTA06"},"container-title":["Proceedings of the 2006 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1146238.1146259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:31:33Z","timestamp":1673512293000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1146238.1146259"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":25,"alternative-id":["10.1145\/1146238.1146259","10.1145\/1146238"],"URL":"https:\/\/doi.org\/10.1145\/1146238.1146259","relation":{},"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"2006-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}