Proving properties of operation contracts with test scenarios
This contribution studies structural and behavioral models by applying (a) UML classes,
associations, attributes, generalization and OCL invariants for structural model features and …
associations, attributes, generalization and OCL invariants for structural model features and …
On the need for temporal model repositories
Current model repositories often rely on existing versioning systems or standard database
technologies. These approaches are sufficient for hosting different versions of models …
technologies. These approaches are sufficient for hosting different versions of models …
Modeling behavioral deontic constraints using UML and OCL
Business rules specify the required or desirable states of affairs or behavior of IT systems,
and typically involve deontic constraints that must be adequately specified to enable their …
and typically involve deontic constraints that must be adequately specified to enable their …
Synthesising call sequences from OCL operational contracts
H Wu - Proceedings of the 34th ACM/SIGAPP Symposium on …, 2019 - dl.acm.org
The Unified Modeling Language (UML) is widely used by software engineers in different
phases of software development cycle. It allows them to visualise and depict a system into …
phases of software development cycle. It allows them to visualise and depict a system into …
[PDF][PDF] History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.
ABSTRACT The UML-based Specification Environment (USE) originated as a modeling tool
for validating UML and OCL models but has grown much larger over the years. The first …
for validating UML and OCL models but has grown much larger over the years. The first …
[PDF][PDF] Verifying OCL Operational Contracts via SMT-based Synthesising.
The set of operational contracts written in the Object Constraint Language can be used to
describe the behaviour of a system. These contracts are specified as pre/post conditions to …
describe the behaviour of a system. These contracts are specified as pre/post conditions to …