|Final Report of the COST-247 Action|
Functionality Bipartition in Basic E-LOTOS
|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.