A data-flow approach to test multi-agent ASMs.
This paper illustrates the theoretical basis of an approach to apply data flow testing techniques to abstract state machines (ASMs). In particular, we focus on multi-agent ASMs extended with the seq construct for turbo ASMs. We explain why traditional data flow analysis can not simply be applied to...
Main Author: | Cavarra, A |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2011
|
Similar Items
-
A data−flow approach to test multi−agent ASMs
by: Cavarra, A
Published: (2011) -
A Formal Semantics of UML: The ASM Approach
by: Cavarra, A
Published: (2000) -
An ASM Semantics for UML Activity Diagrams
by: Börger, E, et al.
Published: (2000) -
Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
by: Cavarra, A, et al.
Published: (2004) -
Specifying and Verifying the Parlay Call−Control Using ASMs
by: Falcarin, P, et al.
Published: (2003)