Real-time object-oriented modeling
Real-time object-oriented modeling
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Temporal OCL: meeting specification demands for business components
Unified modeling language
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Formal Object-Oriented Development
Formal Object-Oriented Development
Object-Oriented Software Construction
Object-Oriented Software Construction
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Formal Semantics for OCL 1.4
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Extending JML Specifications with Temporal Logic
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A contract-based approach to designing safe systems
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Temporal Extensions of OCL Revisited
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
An evaluation of timed scenario notations
Journal of Systems and Software
On Message Specifications in OCL
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of OCL Messages
Electronic Notes in Theoretical Computer Science (ENTCS)
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Measuring test properties coverage for evaluating UML/OCL model-based tests
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
An extension of the "Object Constraint Language" (OCL) for modeling real-time and reactive systems in the "Unified Modeling Language" (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models. OCL is enriched by satisfaction operators @驴 for referring to the value in the history of an expression at the instant when event 驴 occurred, as well as the modalities always and sometime. The approach is illustrated by several examples. Finally, an operational semantics of OCL/RT is given.