|
| 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 |
| E-mail: monika.kapus-kolar@ijs.si |
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