Achim D. Brucker a6ffc7838e | ||
---|---|---|
calendar | ||
company | ||
controller_calendar | ||
digraph | ||
ebank | ||
health_system | ||
isp | ||
mini_company | ||
royals_and_loyals | ||
stack | ||
vehicles | ||
LICENSE | ||
README.md |
README.md
ocl-examples
A collection of (toy) examples using OCL that demonstrate the use of OCL in the context of UML as well as SecureUML models. Most of the models were developed in the context of the HOL-OCL and SecureUML projects.
Models
- Controller Calendar: A simple calendar/meeting model using ControllerUML.
- Calendar: A simple calendar/meeting model.
- Company: A simple company model, inspired by the OCL standard.
- Digraph: A simple tree like (recursive) data structure.
- E-Bank: A simple eBank/Accounting model.
- Health System: A simple health system.
- ISP: A simple example of an ISP.
- Mini Company: A tiny company example modelling a management hierarchy.
- Royals and Loyals: The famous royals-and-loyals example.
- Stack: A simple stack.
- Vehicles: A simple modle of vehicles and driver's licenses.
Team
License
This project is licensed under a 2-clause BSD license.
Publications
-
Achim D. Brucker and Burkhart Wolff. Semantics, Calculi, and Analysis for Object-oriented Specifications. In Acta Informatica, 46 (4), pages 255-284, 2009. https://www.brucker.ch/bibliography/abstract/brucker.ea-semantics-2009 doi: 10.1007/s00236-009-0093-8
-
Achim D. Brucker and Burkhart Wolff. An Extensible Encoding of Object-oriented Data Models in HOL. In Journal of Automated Reasoning, 41, pages 219-249, 2008. https://www.brucker.ch/bibliography/abstract/brucker.ea-extensible-2008-b doi: 10.1007/s10817-008-9108-3
-
Achim D. Brucker. An Interactive Proof Environment for Object-oriented Specifications. ETH Zurich,2007. ETH Dissertation No. 17097. https://www.brucker.ch/bibliography/abstract/brucker-interactive-2007
-
Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. In MoDELS 2006: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science (4199), pages 306-320, Springer-Verlag, 2006. https://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006 doi: 10.1007/11880240_22