2016 | OriginalPaper | Chapter
Interaction Refinement and Abstraction
Authors : Chris A. Vissers, Luís Ferreira Pires, Dick A. C. Quartel, Marten van Sinderen
Published in: Architectural Design
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This chapter discusses the refinement of a more abstract (inter)action into a correctness preserving structure of more concrete (inter)actions, called interaction behaviour. When this is the case, we say that the interaction behaviour conformsConforms to the abstract interaction (Dirgahayu et al. in Interaction refinement in the design of business collaborations, 2010 [30]; Quartel et al. in Comput Netw ISDN Syst 29:413–436, 1995 [35]; Dirgahayu in Interaction design in service compositions, 2010 [75]; Dirgahayu et al. Abstractions of interaction mechanisms, 2009 [76]). The chapter elaborates further on the material presented in Chaps. 3– 5.