Abstract runtime monitoring with USE

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2012, Pages 549-552

  Hamann, Lars ^a   Vidács, László ^b   Gogolla, Martin ^a   Kuhlmann, Mirco ^a  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT LEVELS; CORE PART; OBJECT CONSTRAINT LANGUAGE; PROGRAM MODELS; REDUCED MODEL; RUNNING SYSTEMS; RUNTIME MONITORING; SEMI-AUTOMATICS; SOURCE CODES; TECHNICAL DETAILS; UML(UNIFIED MODELING LANGUAGE); VIRTUAL MACHINES;

ABSTRACTING; REENGINEERING; UNIFIED MODELING LANGUAGE;

COMPUTER SOFTWARE MAINTENANCE;

EID: 84860505053     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2012.73     Document Type: Conference Paper

References (8)

1. Object Constraint Language Specification Version 2.2, OMG - Object Management Group, Feb. 2010. [Online]. Available: http: //www.omg.org/spec/OCL/ 2.2
2. C. Avila, A. Sarcar, Y. Cheon, and C. Yeep, "Runtime Constraint Checking Approaches for OCL, A Critical Comparison," in Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010). Knowledge Systems Institute Graduate School, 2010, pp. 393-398.
3. P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Ros, u, "An Overview of the MOP Runtime Verification Framework," International Journal on Software Techniques for Technology Transfer, 2011.
4. M. Gogolla, F. Büttner, and M. Richters, "USE: A UML-Based Specification Environment for Validating UML and OCL," Science of Computer Programming, vol. 69, pp. 27-34, 2007.
5. M. Gogolla, M. Kuhlmann, and L. Hamann, "Consistency, Independence and Consequences in UML and OCL Models," in Proc. 3rd Int. Conf. Test and Proof (TAP'2009), C. Dubois, Ed. Springer, Berlin, LNCS 5668, 2009, pp. 90-104.
6. L. Hamann, M. Gogolla, and M. Kuhlmann, "OCL-Based Runtime Monitoring of JVM Hosted Applications," in Proc. Workshop OCL and Textual Modelling (OCL'2011), J. Cabot, R. Clariso, M. Gogolla, and B. Wolff, Eds., ECEASST. Electronic Communications, journal.ub.tuberlin. de/eceasst/issue/view/ 56, 2011.
7. L. Schrettner, L. J. Fülöp, R. Ferenc, and T. Gyimóthy, "Visualization of software architecture graphs of java systems: managing propagated low level dependencies," in Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, PPPJ 2010, Vienna, Austria, 2010, pp. 148-157.
8. R. Kollmann and M. Gogolla, "Application of the UML Associations and Their Adornments in Design Recovery," in Proc. 8th Working Conference on Reverse Engineering (WCRE'2001), P. Aiken and E. Burd, Eds. IEEE, Los Alamitos, 2001.