HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Compare commits

base: HOL-OCL:61f87c509e5cb3fbb2fb17dea2d7d47a7dbd0006
Branches Tags
HOL-OCL:master
...
compare: HOL-OCL:6ed3522a185ebd8dd91d38c1b187f74b5edf7750
Branches Tags
HOL-OCL:master

2 Commits
61f87c509e ... 6ed3522a18

Author SHA1 Message Date
Achim D. Brucker 6ed3522a18 Added publications. 2016-10-02 13:45:32 +01:00
Achim D. Brucker 69b83143a4 Improved description. 2016-10-02 13:35:24 +01:00
1 changed files with 32 additions and 1 deletions
Show Stats Expand all files Collapse all files

33
README.md
View File

@ -1,9 +1,40 @@
# ocl-examples
A collection of (toy) examples using OCL.
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 original HOL-OCL and
SecureUML.
## Team
* [Achim D. Brucker](http://www.brucker.ch/)
## License
This project is licensed under the Apache License Version 2.0.
## Publications
* Achim D. Brucker and Burkhart Wolff. [Semantics, Calculi, and Analysis
for Object-oriented Specifications.](https://www.brucker.ch/bibliography/download/2009/brucker.ea-semantics-2009.pdf)
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](http://dx.doi.org/10.1007/s00236-009-0093-8)
* Achim D. Brucker and Burkhart Wolff. [An Extensible Encoding of Object-oriented
Data Models in HOL.](https://www.brucker.ch/bibliography/download/2008/brucker.ea-extensible-2008-b.pdf) 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](https://dx.doi.org/10.1007/s10817-008-9108-3)
* Achim D. Brucker. [An Interactive Proof Environment for
Object-oriented Specifications.](https://www.brucker.ch/bibliography/download/2007/brucker-interactive-2007.pdf)
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.](https://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006.pdf) 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](http://dx.doi.org/10.1007/11880240_22)