Abstract
ULg Research Unit in Networking RUN
Abstract


Applying LOTOS to the Design of TINA Applications

E. Koerner1 and L. Strick2

1 Research unit in Networking, EECS department, University of Liège, Belgium
2 Fraunhofer Institute FOKUS, Berlin, Germany

(1997)

Abstract

We integrate the formal language LOTOS into a design framework for TINA-based applications. The behaviour model of TINA service components in the ODP computational viewpoint can be formally specified and verified. Compliance checks with the enterprise model can then be carried out by comparing requirements against the computational specification. Aspects of specifying computational objects with multiple interfaces are also pointed out. All discussions are based on a case study of a floor control component designed for a TINA multimedia collaboration service.

Keywords

LOTOS, ODP viewpoints, TINA, verification, viewpoint compliance

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - RUN Admin -
Still running IPv4 at: 18.216.45.133... RUN | Montefiore | ULg
© 2000-2025.