TY - GEN
T1 - TDL
T2 - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
AU - Sun, Yong
AU - Yang, Hongji
AU - Dix, A.
N1 - Publisher Copyright:
© 2000 IEEE.
PY - 2000
Y1 - 2000
N2 - Introduces a formalism which allows LOTOS specifications to be given in the form of transition diagrams (TDs). We argue that being able to use TDs as a design notation for LOTOS specifications would increase the quality of the software produced via a formal method, and ultimately this enhances LOTOS's acceptance by industry. The basis of our argument is that TDs are well-known and can be readily supported by tools. Thus, 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 (Transition Diagram Language), for expressing and manipulating TDs and as an intermediate language between TDs 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.
AB - Introduces a formalism which allows LOTOS specifications to be given in the form of transition diagrams (TDs). We argue that being able to use TDs as a design notation for LOTOS specifications would increase the quality of the software produced via a formal method, and ultimately this enhances LOTOS's acceptance by industry. The basis of our argument is that TDs are well-known and can be readily supported by tools. Thus, 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 (Transition Diagram Language), for expressing and manipulating TDs and as an intermediate language between TDs 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.
UR - http://www.scopus.com/inward/record.url?scp=84960484149&partnerID=8YFLogxK
U2 - 10.1109/APAQ.2000.883796
DO - 10.1109/APAQ.2000.883796
M3 - Conference contribution
AN - SCOPUS:84960484149
T3 - Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
SP - 226
EP - 235
BT - Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
A2 - Chen, T.Y.
A2 - Tse, T.H.
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 30 October 2000 through 31 October 2000
ER -