|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
The First Asia-Pacific Conference on Quality Software (APAQS'00)
TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications
Hong Kong, China
October 30-October 31
ISBN: 0-7695-0825-1
| ASCII Text | x | ||
| Yong Sun, Hongji Yang, Alan Dix, "TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications," Asia-Pacific Conference on Quality Software, pp. 226, The First Asia-Pacific Conference on Quality Software (APAQS'00), 2000. | |||
| BibTex | x | ||
| @article{ 10.1109/APAQ.2000.883796, author = {Yong Sun and Hongji Yang and Alan Dix}, title = {TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications}, journal ={Asia-Pacific Conference on Quality Software}, volume = {0}, year = {2000}, isbn = {0-7695-0825-1}, pages = {226}, doi = {http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883796}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Asia-Pacific Conference on Quality Software TI - TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications SN - 0-7695-0825-1 SP EP A1 - Yong Sun, A1 - Hongji Yang, A1 - Alan Dix, PY - 2000 VL - 0 JA - Asia-Pacific Conference on Quality Software ER - | |||
This paper introduces a formalism (i.e. TDL), which allows LOTOS specifications to be given in the form of transition diagrams. We argue that being able to use transition diagrams, as a design notation for LOTOS, specifications would increase the quality of software produced via a formal method; and ultimately this enhances the LOTOS' acceptance by industry. The basis of our argument is that transition diagrams are well known and can be readily supported by tools. That is, transition diagrams (TDs) are a user-friendly and effective tool for the design of LOTOS specifications. In order to support the design process, we define a simple language (called TDL) for expressing and manipulating transition diagrams and for an intermediate language between transition diagrams and LOTOS specifications. We provide a group of rules for translating TDs in TDL to basic LOTOS. We also enrich the basic LOTOS with some meta-combinators to facilitate the translation from TDs to LOTOS.
Citation:
Yong Sun, Hongji Yang, Alan Dix, "TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications," apaqs, pp.226, The First Asia-Pacific Conference on Quality Software (APAQS'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.
