Formal Description Techniques: Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988, Volume 1Kenneth J. Turner This book is the result of the first international conference devoted exclusively to the Formal Description Techniques Estelle, LOTOS, and SDL . Its publication coincides with the standardisation by ISO and CCITT of these formal specification languages. Although conceived for formally specifying and designing data communications systems, the Formal Description Techniques (FDTs) are general-purpose languages for describing distributed, concurrent, or sequential systems. The FORTE 88 Conference focussed on creating awareness and understanding of FDTs. The sessions addressed FDT topics related to software tools, object-oriented design, language issues arising from practical use, theoretical aspects of analysis, experience in writing formal descriptions, and practical aspects of analysis. |
Contents
ESTIM The Estelle Simulator Prototype of the Esprit SEDOS Project | 15 |
A LOTOS to PARLOG Translator | 31 |
Transforming LOTOS Specifications with LOLA The Parameterised Expansion | 45 |
Copyright | |
20 other sections not shown
Common terms and phrases
abstract syntax action add-axiom algorithm architecture basic behaviour expression bisimulation British Telecom CCITT communication protocols compiler Computer connection constraints Courtiat data types defined definition described encoding endproc environment equivalence Estelle Estelle specification example execution exit FDTs ferry Figure Formal Description Techniques formal specification FT-DATA functions gateway graphical implementation input interaction points interface internal language layer LOTOS specification Lower Tester module instance noexit object object-oriented Open Systems Interconnection operations output parameters PARLOG PDUs Petri Nets possible predicate Prolog protocol data units protocol entities Protocol Specification recursive reference representation requirements result rewrite semantics service access point service primitives Session Layer simulation SPDU standard structure subnetwork subtype synchronization TAddress temporal logic test system transformation transition translator transport protocol Upper Tester validation variables verification XESAR