LOTOSphere: Software Development with LOTOS

@inproceedings{Bolognesi1995LOTOSphereSD,
  title={LOTOSphere: Software Development with LOTOS},
  author={Tommaso Bolognesi and Jeroen van de Lagemaat},
  booktitle={Springer US},
  year={1995}
}
Interfaces. Initially the communication between the system and its environment, or amongst system components, takes place through abstract interfaces. In a certain design step we can add detail to the definition of the abstract interfaces. For example, a single abstract interface can be structured as multiple interfaces using a CPT called gate splitting. In this way the implementation of the abstract interface can be defined. Events at Interfaces. We define which events are allowed to occur in… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

References

Publications referenced by this paper.
Showing 1-7 of 7 references

Widya: 'On the design and formal specification of a transaction processing protocol

M. van Sinderen
Formal Description Techniques • 1991
View 10 Excerpts
Highly Influenced

LOTOS specification of the OS! CCR protocol', Lo/WP3/T3.1/UST/N0003/V04, ESPRIT Project 2304

V. M. Jones, R. G Clark
Commission of the European Communities, • 1990
View 8 Excerpts
Highly Influenced

A LOTOS case study: specification of the OSI connection-oriented network service

K. J. Turner
OTC Workshop on Formal Techniques, • 1989
View 8 Excerpts
Highly Influenced

Ajuhi: 'The application of LOTOS for the formal description of the ISO session layer

M. van Sinderen
Formal Description Techniques I, • 1989
View 9 Excerpts
Highly Influenced

On the use of LOTOS to support the design of a connectionoriented internetting protocol

L. Ferreira Pires
in ESPRIT Conference • 1989
View 10 Excerpts
Highly Influenced

An Architectural Semantics for LOTOS

PSTV • 1987
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…