Modeling and Analysis of Distributed Services and Components

Abstract

While the need for global behavior definitions in designing the embedded reactive systems and service-oriented systems is growing, new modeling languages, the modifications on existing languages are emerging in an endless stream. In our previous work, UML collaborations and activities are used to describe the structure and behavior of services with reusable building blocks, respectively. And the choreography, which denotes global collaborative behavior involving two or more participants, is identified as two forms. In one of them, which was called flow-localized choreography, all the flows inside are localized to the roles who participates in the collaborations; but in the other one, flow-global choreography, the flows are not localized.The focus of this thesis is to test the suitability of the Arctis tool developed by ITEM, NTNU. To the existing approach mapping flow-global to flow-localized choreography, we need to make sure that it is general enough to modeling scenarios. Furthermore, algorithms for deriving distributed component behaviors from flow-localized choreography should be studied. Our goal is to present modifications on existing localization methods and propose novel approaches for derivation. Finally, the goal would be illustrated by several scenarios as case study.