A new type checking approach for OCL version 2.0?

DOI10.1007/3-540-45669-4_3MaRDI QIDQ4736404zbMATH OpenFDO

Authors Andy Schürr

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2263/22630021.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Adding graph transformation concepts to UML's constraint language OCL
• JavaOCL based on new presentation of the OCL-syntax
• OCL: Syntax, semantics, and tools
• Logic Foundations of the OCL Modelling Language
• HOL-OCL : Experiences, consequences and design choices

Cited in

(3)

• Integrity constraints in the multi-paradigm language PROGRES
• JavaOCL based on new presentation of the OCL-syntax
• Adding graph transformation concepts to UML's constraint language OCL

Describes a project that uses

Uses Software

• PROGRES

This page was built for publication: A new type checking approach for OCL version 2.0?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736404)