H-COSTAM: a hierarchical communicating state-machine model for generic prototyping

Authors:
F. Kordon;W. E. Kaim
Affiliations:
-;-
Venue:
RSP '95 Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP'95)
Year:
1995

Citing 0
Cited 2

A multi formalisms prototyping approach from formal description to implementation of distributed systems

RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems

RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a methodology that aims at the specification, verification and prototyping of large distributed systems. This methodology relies on H-COSTAM: a high level representation that supports hierarchy and focuses on message passing communication mechanisms. In order to enable validation based on a formal representation, a translation procedure to Petri net is proposed. We also show this can fit discrete application domains. Translation from discrete high level formalism into H-COSTAM is possible. We present an example with Estelle.