DisCo specification language: marriage of actions and objects

The potential of the action-oriented paradigm has been explored in the development of a specification language, DisCo, which can be characterized as both action-oriented and object-oriented. Its possibilities are introduced by contrasting them to the more familiar process-oriented approaches. Its ex...

Full description

Saved in:
Bibliographic Details
Published in[1991] Proceedings. 11th International Conference on Distributed Computing Systems pp. 142 - 151
Main Authors Jarvinen, H.-M., Kurki-Suonio, R.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1991
Subjects
Algebra
Animation
Automata
Distributed computing
Hardware
Logic
Object oriented modeling
Protocols
Specification languages
Online AccessGet full text

Cover

More Information
Summary:The potential of the action-oriented paradigm has been explored in the development of a specification language, DisCo, which can be characterized as both action-oriented and object-oriented. Its possibilities are introduced by contrasting them to the more familiar process-oriented approaches. Its execution model is state-based and leads to direct application of temporal logic in formal reasoning. Action-orientation allows a natural support for such forms of modularity that cut across process boundaries. At the same time, process-oriented abstractions are retained by object-orientation and the use of hierarchical state chart structures. The novel aspects of modularity are illustrated by a protocol example. The language is semi-executable.< >
ISBN:0818621443
9780818621444
DOI:10.1109/ICDCS.1991.148656