A foundation for tool-supported critical systems development with UML

Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004

Volumn , Issue , 2004, Pages 398-405

  Jürjens, Jan ^a   Shabalin, Pasha ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Critical systems; Formal models of object oriented design; Secure computing; Specification; Tool support; UML; Verification

Indexed keywords

ALGEBRA; MATHEMATICAL MODELS; PERSONNEL TRAINING; SECURITY SYSTEMS; SEMANTICS;

CRITICAL SYSTEMS; FORMAL MODELS OF OBJECT ORIENTED DESIGN; SECURE COMPUTING; SYSTEMS DEVELOPMENT; TOOL SUPPORT;

COMPUTER PROGRAMMING LANGUAGES;

EID: 7744233266     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. E. Börger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML State Machines. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines. Theory and Applications, volume 1912 of LNCS, pages 223-241. Springer, 2000.
2. E. Börger and R. Stärk. Abstract State Machines. Springer, 2003.
3. R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Systems, views and models of UML. In M. Schader and A. Korthaus, editors, The Unified Modeling Language, Technical Aspects and Applications, pages 93-109. Physica Verlag, Heidelberg, 1998.
4. M. Broy and M. Wirsing. Algebraic state machines. In T. Rus, editor, 8th International Conference on Algebraic Methodology and Software Technology (AMAST2000), volume 1816 of LNCS. Springer, 2000.
5. Y. Dong and Z. ShenSheng. Using p - calculus to formalize UML activity diagrams. In 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), pages 47-54, Huntsville, AL, USA, 7-10 April 2003. IEEE Computer Society.
6. R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a formal modeling notation. Computer Standards & Interfaces, 19:325-334, 1998.
7. Gentleware. http://www.gentleware.com, 2003.
8. O. M. Group. OMG Unified Modeling Language Specification v1.5: Revisions and recommendations, Mar. 2003. Version 1.5. OMG Document formal/03-03-01.
9. F. Huber, B. Schätz, A. Schmidt, and K. Spies. AutoFocus: A tool for distributed systems specification. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, volume 1135 of LNCS, pages 467-470, Uppsala, Sweden, Sept. 9-13 1996. Springer.
10. J. Jürjens. A UML statecharts semantics with message passing. In Symposium of Applied Computing 2002, pages 1009-1013, Madrid, March 11-14 2002. ACM.
11. J. Jürjens. Formal Semantics for Interacting UML subsystems. In FMOODS 2002, pages 29-44. IFIP, Kluwer, 2002.
12. J. Jürjens. Secure Systems Development with UML. Springer, Mar. 2004. To be published.
13. J. Lilius and I. Porres. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML' 99, volume 1723 of LNCS, pages 430-445. Springer, 1999.
14. Netbeans project. Open source. Available from http://mdr.netbeans.org/, 2003.
15. Object Management Group, http://www.omg.org/, 2003.
16. G. Reggio, E. Astesiano, C. Choppy, and H. Hußmann. Analysing UML active classes and associated state machines - A lightweight formal approach. In T. Maibaum, editor, Fundamental Approaches to Software Engineering (FASE2000), volume 1783 of LNCS, pages 127-146. Springer, 2000.
17. M. Riebisch, I. Philippow, and M. Götze. UML-based statistical test case generation. In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World (NetObjectDays 2002), volume 2591 of Lecture Notes in Computer Science, pages 394-411, Erfurt, Germany, October 7-10 2003. Springer.
18. T. Schäfer, A. Knapp, and S. Merz. Model checking UML state machines and collaborations. In S. Stoller and W. Visser, editors, Workshop on Software Model Checking, volume 55 of ENTCS. Elsevier, 2001.