Abstract | ||
---|---|---|
We explore the way in which the refinement of individual ‘local’ components of a specification relates to the development of a ‘global’ system from a specification of requirements. The observational interpretation of specifications and refinements adds expressive power and flexibility, but introduces some subtle problems. Our study of these issues is carried out in the context of Casl architectural specifications. We introduce a definition of observational equivalence for Casl models, leading to an observational semantics for architectural specifications for which we prove important properties. Overall, this fulfills the long-standing goal of complementing the standard semantics of Casl specifications with an observational view that supports observational refinement of specifications in combination with Casl-style architectural design. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1017/S0960129507006536 | Mathematical Structures in Computer Science |
Keywords | Field | DocType |
observational equivalence,observational interpretation,observational refinement,observational semantics,observational view,Casl architectural specification,Casl model,Casl specification,Casl-style architectural design,architectural specification,casl specification | Observational study,Programming language,Architectural design,Observational equivalence,Computer science,Expressive power,Semantics | Journal |
Volume | Issue | ISSN |
18 | 2 | 0960-1295 |
Citations | PageRank | References |
1 | 0.36 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
michel bidoit | 1 | 106 | 12.11 |
Donald Sannella | 2 | 1417 | 134.34 |
A Tarlecki | 3 | 337 | 25.59 |