Title :
OCL goes real-time
Author :
Rammig, Franz J.
Author_Institution :
Heinz Nixdorf Inst., Paderborn, Germany
fDate :
6/24/1905 12:00:00 AM
Abstract :
OCL (Object Constraint Language) is becoming an important means to formulate formal specifications in the context of object-oriented software development. The question is whether this approach is appropriate for real-time systems as well. This question is discussed from the point of view of UML/OCL itself but also from an applications point of view
Keywords :
formal specification; object-oriented languages; object-oriented programming; real-time systems; specification languages; OCL; Object Constraint Language; UML; Unified Modelling Language; formal specifications; object-oriented software development; real-time systems; Application software; Formal specifications; Formal verification; Logic; Object oriented modeling; Programming; Proposals; Real time systems; Software engineering; Unified modeling language;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-7695-1558-4
DOI :
10.1109/ISORC.2002.1003809
