Conference Paper (published)

The Invoicing Case Study in (E-)LOTOS

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.

StatusPublished
Publication date31/12/1998
URLhttp://hdl.handle.net/1893/610
PublisherIRIN (Institut de Recherche en Informatique de Nantes, Universite de Nantes & Ecole Centrale de Nantes)
Place of publicationNantes, France
ISBN2-906082-29-5
ConferenceInternational Workshop on: Comparing Systems Specification Techniques "What questions are prompted by ones particular method of specification?"
Conference locationNantes, France
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science

Files (1)