Reference : A Framework Based on Implementation Relations for Implementing LOTOS Specifications
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/23868
A Framework Based on Implementation Relations for Implementing LOTOS Specifications
English
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
1992
Computer Networks & ISDN Systems
Elsevier Science
25
1
23-41
Yes (verified by ORBi)
International
0169-7552
[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.
Researchers
http://hdl.handle.net/2268/23868

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
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.