Conference Paper (published)
Details
Citation
Turner KJ (1998) The Invoicing Case Study in (E-)LOTOS. In: Allemand M, Attiogbé C & Habrias H (eds.) International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?": March 26-27, 1998, Nantes, France : proceedings [of the 9th Meeting] in the series. Putting into practice methods and tools for information system design. International Workshop on: Comparing Systems Specification Techniques "What questions are prompted by ones particular method of specification?", Nantes, France, 26.03.1998-27.03.1998. Nantes, France: IRIN (Institut de Recherche en Informatique de Nantes, Universite de Nantes & Ecole Centrale de Nantes), pp. 83-98.
Abstract
The informal requirements for the invoicing case study are analysed and interpreted. This leads to a high-level specification architecture that can be formalised. Specifications are presented in LOTOS (Language Of Temporal Ordering Specification). For comparison, specifications are also presented E-LOTOS (Enhancements to LOTOS) – the new version of LOTOS currently being standardised. Since LOTOS allows a balance to be struck between process-oriented and data-oriented modelling, specifications in both styles are given. The resulting specifications are evaluated in the context of LOTOS and formal approaches more generally.
Status | Published |
---|---|
Publication date | 31/12/1998 |
URL | http://hdl.handle.net/1893/610 |
Publisher | IRIN (Institut de Recherche en Informatique de Nantes, Universite de Nantes & Ecole Centrale de Nantes) |
Place of publication | Nantes, France |
ISBN | 2-906082-29-5 |
Conference | International Workshop on: Comparing Systems Specification Techniques "What questions are prompted by ones particular method of specification?" |
Conference location | Nantes, France |
Dates | – |
People (1)
Emeritus Professor, Computing Science