Towards OCL/RT

DOI10.1007/3-540-45614-7_22MaRDI QIDQ4808841zbMATH OpenFDO

Authors María Victoria Cengarle, Alexander Knapp

Publication date 12 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/2391/23910390.htm, https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/45282

zbMATH Keywords

eventsOCLReal-time systemsUML

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A UML profile for real-time constraints with the OCL
• A CSP view on UML-RT structure diagrams
• An OCL extension for real-time constraints
• Enriching OCL using observational mu-calculus
• Specification of real-time systems in UML

Cited in

(9)

• A CSP view on UML-RT structure diagrams
• On message specifications in OCL
• A UML profile for real-time constraints with the OCL
• Specifying concurrent system behavior and timing constraints using OCL and UML
• Enriching OCL using observational mu-calculus
• scientific article; zbMATH DE number 1569132 (Why is no real title available?)
• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• Analysis of real-time systems using OSA
• Integrating data flow equations with UML/realtime

This page was built for publication: Towards OCL/RT

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