Sciweavers

Share
ENTCS
2006

Interface Automata with Complex Actions

10 years 2 months ago
Interface Automata with Complex Actions
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we wish to limit interleaving to force the inputs to a method to arrive together in order. We introduce interface automata with complex actions (IACA), which add complex actions to de Alfaro and Henzinger's interface automata (IA). A complex action is a sequence of actions that may not be interleaved with actions from other components. The composition and refinement operations are more involved in IACA compared to IA, and we must sacrifice associativity of composition. However, we argue that the advantages of having complex actions make it a useful formalism. Key words: Component-based design, Service-oriented design, interleaving, complex actions.
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A.
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
Comments (0)
books