Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655901 | Electronic Notes in Theoretical Computer Science | 2005 | 23 Pages |
Abstract
This paper proposes a merge operator for behavioral requirements expressed by Message Sequence Charts and shows how this product can be systematically used to integrate new behaviors in an existing one. First the merge operator is defined as a fibered product of scenario descriptions. This product is then used to integrate a consensus mechanism to solve the non-local choice problem.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jacques Klein, Benoit Caillaud, Loïc Hélouët,