Specification of real-time properties for UML models

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 3977-3986

  Flake, S ^a   Mueller, W ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Electronics industry; Flexible manufacturing systems; Formal verification; Logic; Programming profession; Protocols; Real time systems; Software standards; Unified modeling language; Vehicle dynamics

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; ELECTRONICS INDUSTRY; FLEXIBLE ELECTRONICS; FLEXIBLE MANUFACTURING SYSTEMS; FORMAL VERIFICATION; FREQUENCY STANDARDS; INTERACTIVE COMPUTER SYSTEMS; MANUFACTURE; MODELING LANGUAGES; NETWORK PROTOCOLS; REAL TIME SYSTEMS; SEMANTICS; SPECIFICATIONS; TEMPORAL LOGIC; VERIFICATION;

COMPUTATIONAL TREE LOGIC; LOGIC; OBJECT CONSTRAINT LANGUAGE; PROGRAMMING PROFESSION; REAL TIME CONSTRAINTS; SOFTWARE SPECIFICATION; SOFTWARE STANDARDS; VEHICLE DYNAMICS;

UNIFIED MODELING LANGUAGE;

EID: 84961288991     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994469     Document Type: Conference Paper

References (14)

1. W. Ahrendt et al. The KeY Approach: Integrating Object Oriented Design and Formal Verification. In M. Ojeda-Aciego et al., editors, 8th European Workshop on Logics in AI (JELIA), Malaga, Spain, volume 1919 of Lecture Notes in Computer Science, pages 21-36. Springer-Verlag, 2000.
2. T. Baar and R. Hähnle. An Integrated Metamodel for OCL Types. In Proc. of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core., Minneapolis, MN, USA, 2000.
3. D. Distefano, J.-P. Katoen, and A. Rensink. On a Temporal Logic for Object-Based Systems. In Proc. of FMOODS'2000 - Formal Methods for Open Object-Based Distributed Systems IV, Stanford, CA, USA, September 2000.
4. S. Flake and W. Mueller. An OCL Extension for Real-Time Constraints. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, 2001.
5. OMG. Unified Modeling Language Specification, Version 1.4. Technical report, Object Management Group, September 2001. URL: http://www.omg.org/technology/documents/formal/uml.htm (last visited September 18, 2001).
6. S. Ramakrishnan and J. McGregor. Extending OCL to Support Temporal Operators. In Proc. of the 21st International Conference on Software Engineering (ICSE99), Workshop on Testing Distributed Component-Based Systems, Los Angeles, CA, USA, May 1999.
7. S. Ramakrishnan and J. McGregor. Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms. In 18th International IASTED Conference Applied Informatics'2000, Innsbruck, Austria, 2000.
8. M. Richters and M. Gogolla. A Metamodel for OCL. In R. France and B. Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard. Fort Collins, CO, USA, volume 1723 of Lecture Notes in Computer Science, pages 156-171. Springer-Verlag, 1999.
9. J. Ruf. RAVEN: Real-Time Analyzing and Verification Environment. Journal on Universal Computer Science (J.UCS), Springer-Verlag, Heidelberg, 7(1):89-104, February 2001.
10. J. Ruf and T. Kropf. Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals. In Conference on Correct Hardware Design and Verification Methods (CHARME97), Montreal, Canada, October 1997.
11. J. Ruf and T. Kropf. Modeling and Checking Networks of Communicating Real-Time Systems. In Conf. on Correct Hardware Design and Verification Methods (CHARME99), Bad Herrenalb, Germany, September 1999.
12. J. Warmer. OCL Parser, Version 0.3. URL: http://www-4.ibm.com/software/ad/library/standards/ocl.html (last visited on September 18, 2001).
13. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.
14. E. Westkaemper, M. Hoepf, and C. Schaeffer. Holonic Manufacturing Systems (HMS) - Test Case 5. In Proceedings of Holonic Manufacturing Systems, Lake Tahoe, CA, 1994.