This thesis proposes a concept and transformations for designing interactions in a service composition at related abstraction levels. The concept and transformations are aimed at helping designers to bridge the conceptual gap between the business and software domains. In this way, the complexity of an interaction design can be managed adequately. A service composition is specified as one or mor...

Abstract thought has roots in the spatial world. Abstractions are expressed in the ways things are arranged in the world as well as the ways people talk and gesture. Mappings to the page should be better when they are congruent, that is, when the abstract concept matches the spatial one. Congruent mappings can be revealed in people’s performance and preferences. Congruence is supported here for...

concepts are much harder to represent because they have no tangible form. Examples include the concepts of justice, freedom, honesty, and family. Designers often use a visual strategy where one concrete concept shows a snapshot of the abstract concept, such

abstracts submited for iranian congress of gastroenterology and hepatology - icgh 2011â â â 5-7october 2012 tabriz, iran

Formal specification practice involve specifications which are finite. We study the concept of finiteness for specifications within the general framework of the so-called π-institutions, which constitute an abstract categorical proof oriented formalization of the informal concept of logical system. In this paper we argue that finite specifications can be captured abstractly by the concept of fi...