Abstract | ||
---|---|---|
In order to facilitate the reuse of possibly complex hierarchical specification components, we propose a unified view of them as (generalised) open terms generated by constructors: the atomic modules (for example enrichments or presentations). Thus, all kinds of pieces of specifications are handled in a uniform way. Moreover, they are autonomous in the sense that they are well defined independently from the context of their design. We present an equational axiomatisation of the structure, providing the class of hierarchical specifications with two combination operators. We show on the example of proofs how thanks to this approach, an attribute for a specification may be systematically inherited from the ones of its modules. The so obtained attributes are naturally structured following the specifications. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-45499-3_31 | AMAST |
Keywords | Field | DocType |
atomic module,unified view,example enrichment,open term,complex hierarchical specification component,reuse-oriented framework,hierarchical specifications,hierarchical specification,combination operator,equational axiomatisation,equational logic | Specification language,Algebraic specification,Programming language,Reuse,Computer science,Formal specification,Theoretical computer science,Monoid,Mathematical proof,Language Of Temporal Ordering Specification,Operator (computer programming) | Conference |
Volume | ISSN | ISBN |
1816 | 0302-9743 | 3-540-67530-2 |
Citations | PageRank | References |
1 | 0.41 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sophie Coudert | 1 | 19 | 3.14 |
Pascale Le Gall | 2 | 287 | 32.95 |