Specifying concurrent system behavior and timing constraints using OCL and UML

DOI10.1007/3-540-45441-1_29MaRDI QIDQ4435881zbMATH OpenFDO

Authors Shane Sendall, Alfred Strohmeier

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

zbMATH Keywords

Concurrent ProgrammingObject Constraint Language (OCL)Pre- and PostconditionSoftware System SpecificationTiming ConstraintsUnified Modeling Language (UML)

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2085185
• scientific article; zbMATH DE number 2090148
• A UML profile for real-time constraints with the OCL
• scientific article; zbMATH DE number 2086959
• scientific article; zbMATH DE number 2085190

Cited in

(4)

• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• Integrating the synchronous paradigm into UML: Application to control-dominated systems
• scientific article; zbMATH DE number 2085185 (Why is no real title available?)
• scientific article; zbMATH DE number 2085190 (Why is no real title available?)

This page was built for publication: Specifying concurrent system behavior and timing constraints using OCL and UML

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