Reference : A Framework Based on Implementation Relations for Implementing LOTOS Specifications
Scientific journals : Article
Engineering, computing & technology : Computer science
A Framework Based on Implementation Relations for Implementing LOTOS Specifications
Leduc, Guy mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Computer Networks & ISDN Systems
Elsevier Science
Yes (verified by ORBi)
[en] A framework is developed for studying the implementation process, as a stepwise process in which an abstract specification is successively transformed to reach a final compilable specification adapted to the computer environment. In this context, an implementation relation is referred to as the relation which should link any ``valid'' implementation to its abstract formal specification. In other words, the implementation relation is intended to express formally the notion of validity. Our framework allows the exact characterization of the transformations which may take place at each step for a given implementation relation. This framework is essential for dealing with non-transitive implementation relations. In the second part of the paper, these results are exemplified in LOTOS on some existing relations, and an apparent paradox is presented. Some new results about these relations are also derived.

File(s) associated to this reference

Fulltext file(s):

Open access
RUN-PP92-04.pdfAuthor postprint252.16 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.