Factorization for Component-Interaction Automata
| Autoři | |
|---|---|
| Rok publikování | 2012 |
| Druh | Článek ve sborníku |
| Konference | SOFSEM 2012: Theory and Practice of Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | https://doi.org/10.1007/978-3-642-27660-6_45 |
| Obor | Informatika |
| Klíčová slova | factorization; component-interaction automata; synthesis; quotient |
| Přiložené soubory | |
| Popis | Component-interaction automata is a verification oriented formalism devised to be general enough to capture important aspects of component interaction in various kinds of component systems. A factorization problem naturally arises in formalisms that are based on composition. In general, the factorization problem may be presented as finding a solution X to the equation M | X = S, where | is a composition and = a behavioural equivalence. In our framework, the equivalence is the weak bisimulation and composition is parametrized. We provide a solution for the factorization problem which is built on top of the approach of Qin and Lewis (CONCUR 1990). |
| Související projekty: |