The Invoicing Case Study in (E-)LOTOS

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.