Runtime verification of interactions: From MSCs to aspects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4839 LNCS, Issue , 2007, Pages 63-74

  Krüger, Ingolf H ^a   Meisinger, Michael ^b   Menarini, Massimiliano ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; QUALITY ASSURANCE;

ASPECT-ORIENTED DEVELOPMENT; AUTOMATIC RUNTIME MONITOR GENERATION; CENTRAL LOCKING SYSTEM (CLS); EMBEDDED AUTOMOTIVE SYSTEMS; MESSAGE SEQUENCE CHARTS (MSC);

VERIFICATION;

EID: 38549107486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77395-5_6     Document Type: Conference Paper

References (17)

1. Ahluwalia, J., Krüger, I., Meisinger, M., Phillips, W.: Model-Based Run-Time Monitoring of End-to-End Deadlines. In: EMSOFT. Proceedings of the Conference on Embedded Systems Software (2005)
2. Barringer, H., Finkbeiner, B., Gurevich, Y., Sipma, H. (eds.): RV'2005. Proceedings of the Fifth International Workshop on Runtime Verification ENTCS 144, Edinburgh, Scotland. Elsevier, Amsterdam, UK (2005)
3. Broy, M.: The Impact of Models in Software Development. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 396-406. Springer, Heidelberg (2005)
4. Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(1) (2007)
5. France, R., Georg, G., Ray, I.: Supporting Multi-Dimensional Separation of Design Concerns. In: The 3rd AOSD Modeling With UML Workshop (2003)
6. Havelund, K., Goldberg, A.: Verify Your Runs. In: Proceedings of the Grand Verification Challenge Workshop Verified Software: Theories, Tools, Experiments, Zurich, Switzerland (2005)
7. ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)
8. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327 353. Springer, Heidelberg (2001)
9. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect Oriented Programming. Technical report, Xerox Corp (1997)
10. Krüger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)
11. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61-71. Kluwer Academic Publishers, Dordrecht (1999)
12. Krüger, I., Lee, G., Meisinger, M.: Automating Software Architecture Exploration with M2Aspects. In: SCESM. Proceedings of the ICSE 2006 Workshop on Scenarios and State Machines (2006)
13. Krüger, I., Mathew, R., Meisinger, M.: Efficient Exploration of Service-Oriented Architectures using Aspects. In: ICSE. Proceedings of the 28th International Conference on Software Engineering (2006)
14. Krüger. I.H., Ahluwalia, J., Gupta, D., Mathew, R., Moorthy, P., Phillips, W., Rittmann, S.: Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering. In: SEAS. Proceedings of the ICSE 2004 Workshop on Software Engineering for Automotive Systems (2004)
15. Leue, S.: Methods and Semantics for Telecommunications Systems Engineering. PhD thesis, University of Berne. Switzerland (1994)
16. OMG (Object Management Group). Model Driven Architecture (MDA). MDA Guide 1.0.1, omg/03-06-01 (2003), http://www.omg.org/mda
17. OMG (Object Management Group). UML, Version 2.0. OMG Specification formal/05-07-04 (superstructure) and formal/05-07-05 (infrastructure) (2005)