The ClassiC programming language and design of synchronous concurrent object oriented languages

Many real-time systems make use of concurrent programming systems and are often designed using object oriented design methods. Concurrent Object Oriented Languages (COOLS) are a class of programming language that integrates the facilities of concurrent and object oriented programming in an integrate...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of systems architecture Jg. 45; H. 5; S. 387 - 407
1. Verfasser: Newman, R.M
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Amsterdam Elsevier B.V 31.12.1998
Elsevier
Elsevier Sequoia S.A
Schlagworte:
Applied sciences
C language
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Concurrency
Exact sciences and technology
Formal methods
Multitasking
Object oriented programming
Object-orientation
Programming
Programming languages
Real time
Real-time systems
Software
Software engineering
Studies
Systems design
Programming
Object-orientation
Real-time systems
Formal methods
Concurrency
Formal language
Object oriented
C++ language
Distributed system
Real time system
Software engineering
ISSN:1383-7621, 1873-6165
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Many real-time systems make use of concurrent programming systems and are often designed using object oriented design methods. Concurrent Object Oriented Languages (COOLS) are a class of programming language that integrates the facilities of concurrent and object oriented programming in an integrated rather than orthogonal manner. With the increasing interest in the use of object oriented languages such as C++ for the programming of embedded and real-time systems COOLs seem to be a natural candidate for such tasks. Several COOLs have been described in the literature which address the requirements of concurrent programming, inter-process communication (IPC) and synchronisation in various different ways. This paper discusses one such language, ClassiC, and examines the approach to this problem taken in its design. In particular, it is shown that the features of ClassiC allow derivation of active classes from other active classes. It is shown how this property can be used to overcome some of the problems associated with synchronous IPC schemes while maintaining the advantages of them and how the use of the asynchronous IPC model allows verification of synchronisation and deadlock properties based on the use of CSP methods.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:1383-7621
1873-6165
DOI:10.1016/S1383-7621(97)00089-1