HOL-OCL: A formal proof environment for UML/OCL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4961 LNCS, Issue , 2008, Pages 97-100

  Brucker, Achim D ^a   Wolff, Burkhart ^b  

^a SAP RESEARCH   (Germany)

^b ETH ZURICH   (Switzerland)

Author keywords

Formal method; HOLCOL; OCL; Theorem proving; UML

Indexed keywords

BIOMINERALIZATION; COMPUTER SIMULATION LANGUAGES; FORMAL METHODS; KETONES; SOFTWARE ENGINEERING; SPECIFICATIONS; THEOREM PROVING; UNIFIED MODELING LANGUAGE;

ABSTRACT MODELING; CLASS MODELING; CONFERENCES (CHEMICAL INDUSTRY); EUROPEAN; FORMAL PROOFS; HEIDELBERG (CO); INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; MODEL DRIVEN ENGINEERING (MDE); OBJECT ORIENTED (OO); UML CLASS MODELS;

MODEL CHECKING;

EID: 47249144817     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78743-3_8     Document Type: Conference Paper

References (5)

1. Brucker, A.D.: An Interactive Proof Environment for Object-oriented Specifications. Ph.d. thesis, ETH Zurich (March 2007), ETH Dissertation No. 17097, http://www.brucker.ch/bibliography/abstract/brucker-interactive-2007
2. Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006), http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-ocl- book-2006
3. Brucker, A.D., Doser, J., Wolff, B.: An MDA framework supporting OCL. Electronic Communications of the EASST, 5 (2006), ISSN 1863-2122, http://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b
4. Object Management Group. UML 2.0 OCL specification (October 2003), OMGdocumentptc/03-10-14
5. Object Management Group. Unified modeling language specification (version 1.5) (March 2003), OMGdocument,formal/03-03-01