Search

Your search keyword '"Bræk, Rolv"' showing total 2 results
Start Over Author "Bræk, Rolv"
2 results on '"Bræk, Rolv"'

1. Automatic Derivation of Components Using Choreographies - A Case Study.

Author

Kathayat, Surya Bahadur, Hien Nam Le, and Bræk, Rolv

Subjects
*RAILROAD traffic, *ALGORITHMS, *COMMUNICATIONS industries, *MANAGEMENT
Abstract

In this paper we use a model driven development approach for the derivation of the component behaviors from choreography models. We consider the reactive system domain where services are collaborative in nature involving one or more active components that may take initiatives on their own. Two different forms of choreography models having different level of details are used. An algorithm is proposed to automatically derive reusable component types utilizing these choreography models. The approach is illustrated with a case study -- the European Rail Traffic Management System. [ABSTRACT FROM AUTHOR]

Published
2010
Full Text
View/download PDF

2. On the realizability of collaborative services.

Author

Castejón, Humberto, Bochmann, Gregor, and Bræk, Rolv

Subjects
*UNIFIED modeling language, *MATHEMATICAL sequences, *PROGRAMMING languages, *COMPUTER software development, *OPERATOR theory
Abstract

This paper considers compositional specifications of services using UML 2 collaborations, activity and interaction diagrams, and addresses the realizability problem for such specifications: given a global specification, can we construct a set of communicating system components whose joint behavior is precisely the specified global behavior? We approach the problem by looking at how the sequencing of collaborations and local actions may be described using UML activity diagrams. We identify the realizability problems for each of the sequencing operators, such as strong and weak sequence, choice of alternatives, loops, and concurrency. The nature of these realizability problems and possible solutions are discussed. This brings a new look at already known problems: we show that given some conditions, certain problems can already be detected at an abstract level, without looking at the detailed interactions of the collaborations, provided that we know the components that initiate and terminate the different collaborations. [ABSTRACT FROM AUTHOR]

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results