By Topic

TDL: a language for transition diagrams in the derivation of LOTOS specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yong Sun ; Queen's Univ., Belfast, UK ; Hongji Yang ; A. Dix

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

Published in:

Quality Software, 2000. Proceedings. First Asia-Pacific Conference on

Date of Conference: