Statecharts: A visual formalism for complex systems
Science of Computer Programming
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
Temporal OCL: meeting specification demands for business components
Unified modeling language
Enriching OCL Using Observational Mu-Calculus
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Symbolic model checking for a discrete clocked temporal logic with intervals
Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
Modleing and Checking Networks of Communicating Real-Time Process
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
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
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Specification of Real-Time Properties for UML Models
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Evaluating UML using a generic quality framework
UML and the unified process
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Toward a formal model for component interfaces for real-time systems
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Invariant-driven specifications in Maude
Science of Computer Programming
SOA monitoring based on a formal workflow model with constraints
Proceedings of the 1st international workshop on Quality of service-oriented software systems
An evaluation of timed scenario notations
Journal of Systems and Software
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
A systematic review on the definition of UML profiles
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
On the evolution of quality conceptualization techniques
The evolution of conceptual modeling
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
| Hi-index | 0.00 |
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, we take the latest OCL2.0 metamodel proposal byWarmer et al. [22] as a basis. A formal semantics of our temporal OCL extension is given by a mapping to time-annotated temporal logics formulae.To give an exammple of the applicability of our extension, we consider a modeling approach for manufacturing systems called MFERT. We present a corresponding UML profile for that approach and combine both profiles for formal verification by real-time model checking.