Abstract | ||
---|---|---|
We present a method to derive sequential program specifications from system models. We use an event based approach to model systems, as it allows us to specify parallel, concurrent and distributed systems. We refine the specification of a system until we have introduced all the events needed by its components to interact with the environment. Then, we derive an environment specification and a specification for each component. We use pre-conditions and post-conditions in these specifications, so that they can be implemented using the classical refinement relation for sequential programs. The derived components share the environment module to interact with each other. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-44525-0_13 | ZB |
Keywords | Field | DocType |
model system,deriving software specifications,classical refinement relation,system model,environment specification,sequential program specification,environment module,sequential program,system modeling,distributed system,software specification | Programming language,Computer science,Real-time computing,Formal specification,Software,Formal methods,System model,Distributed computing,Program specification | Conference |
ISBN | Citations | PageRank |
3-540-67944-8 | 0 | 0.34 |
References | Authors | |
13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nestor Lopez | 1 | 2 | 0.80 |
Marianne Simonot | 2 | 24 | 3.18 |
Véronique Donzeau-gouge | 3 | 75 | 11.77 |