OCL: Syntax, semantics, and tools

DOI10.1007/3-540-45669-4_4MaRDI QIDQ4736405zbMATH OpenFDO

Authors Mark Richters, Martin Gogolla

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/22630042.htm

Mathematics Subject Classification ID

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

Recommendations

• JavaOCL based on new presentation of the OCL-syntax
• Logic Foundations of the OCL Modelling Language
• On the precise meaning of OCL constraints
• HOL-OCL : Experiences, consequences and design choices
• USE: A UML-based specification environment for validating UML and OCL

Cited in

(37)

• Semantics, calculi, and analysis for object-oriented specifications
• Transformation techniques for OCL constraints
• USE: A UML-based specification environment for validating UML and OCL
• On message specifications in OCL
• scientific article; zbMATH DE number 2177630 (Why is no real title available?)
• From Core OCL invariants to nested graph constraints
• HOL-OCL : Experiences, consequences and design choices
• Adding business rules and constraints in component based applications
• The role of OCL in the model driven architecture
• Expressing constraint models in object oriented data using UML and ODL
• Development of UML descriptions with USE
• OCL as a specification language for business rules in database applications
• A formal semantics for OCL 1. 4
• A visualization of OCL using collaborations
• A proposal for a formal OCL semantics in Isabelle/HOL
• A meta-model facility for a family of UML constraint languages
• A new type checking approach for OCL version 2.0?
• On the precise meaning of OCL constraints
• Expressing UML class diagrams properties with OCL
• The Amsterdam manifesto on OCL
• Statistical constraints and verification
• JavaOCL based on new presentation of the OCL-syntax
• The semantics of the OCL action clause
• Constraint trees
• Using OCL and UML to specify system behavior
• scientific article; zbMATH DE number 2087521 (Why is no real title available?)
• Adding graph transformation concepts to UML's constraint language OCL
• Institutions for OCL-like expression languages
• UML model checking
• Diagram design in OCL evaluator
• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• The definition of transitive closure with OCL -- limitations and applications
• Modular architecture for a toolset supporting OCL
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• Invariant-driven specifications in Maude

This page was built for publication: OCL: Syntax, semantics, and tools

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