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

Author

Kordon, F. ; Kaim, W.E.

Author_Institution

Lab. MASI, Univ. Pierre et Marie Curie, Paris, France

fYear

1995

fDate

7-9 Jun 1995

Firstpage

131

Lastpage

138

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

Keywords

Petri nets; calculus of communicating systems; formal specification; formal verification; message passing; software prototyping; Estelle; H-COSTAM; Petri net; discrete application domains; discrete high level formalism; formal representation; generic prototyping; hierarchical communicating state-machine model; high level representation; large distributed systems; message passing communication mechanisms; specification; validation; verification; Data mining; Electronic mail; Mars; Message passing; Petri nets; Prototypes; Software prototyping; Software systems; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 1995. Proceedings., Sixth IEEE International Workshop on

Conference_Location

Chapel Hill, NC

ISSN

1074-6005

Print_ISBN

0-8186-7100-9

Type

conf

DOI

10.1109/IWRSP.1995.518582

Filename

518582