next up previous

Final Report of the COST-247 Action

Functionality Bipartition in Basic E-LOTOS

Monika Kapus-Kolar

Jozef Stefan Institute
Digital communications and networks department
POB 3000, SI-1001 Ljubljana, Slovenia
Tel: +(386) 61 1773 531
Fax: +(386) 61 1262 102


A functionality-bipartition transformation for basic E-LOTOS specifications is proposed which, given a specification of the required external behaviour (the expected service) of a system and a partitioning of the specified service actions among the two system components, derives behaviour of individual system components implementing the service.

This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).

COST-247 Working Group(s): 1

Web Links :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page