A visualization of OCL using collaborations

DOI10.1007/3-540-45441-1_20MaRDI QIDQ4435867zbMATH OpenFDO

Authors Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer

Publication date 20 November 2003

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/2185/21850257.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• OCL: Syntax, semantics, and tools
• Expressing UML class diagrams properties with OCL
• JavaOCL based on new presentation of the OCL-syntax
• scientific article; zbMATH DE number 2087521
• Development of UML descriptions with USE

Cited in

(6)

• A formal approach to the specification and transformation of constraints in MDE
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• Adding graph transformation concepts to UML's constraint language OCL
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Towards a systematic method for proving termination of graph transformation systems
• Consistent integration of models based on views of meta models

This page was built for publication: A visualization of OCL using collaborations

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