Results 1 -
5 of
5
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
- SDL 2007. LNCS 4745
, 2007
"... A fundamental problem in the area of service engineering is the so-called cross-cutting nature of services, i.e., that service behavior results from a collaboration of partial component behaviors. We present an approach for model-based service engineering, where system component models are derived ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
A fundamental problem in the area of service engineering is the so-called cross-cutting nature of services, i.e., that service behavior results from a collaboration of partial component behaviors. We present an approach for model-based service engineering, where system component models are derived automatically from collaboration models. These are specifications of sub-services incorporating both the local behavior of the components and the necessary inter-component communication. The collaborations are expressed by UML collaborations and activities in a compact and self-contained way. The UML activities are also well-suited to express service compositions precisely, so that components may be derived automatically by means of a model transformation. In this paper, we focus on the important issue on how to coordinate and compose collaborations that are executed with several sessions at the same time. We introduce an extension to activities for session selection. Moreover, we explain how this composition is mapped onto the components and how it can be translated into executable code.
Engineering Support for UML Activities by Automated Model-Checking -- An Example
"... In our approach for the engineering of reactive services, we specify systems as collaborations by means of UML 2.0 activities. In automated and correctness-preserving steps, the collaborative models are transformed into executable code. The semantics of the activities are defined using temporal log ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
In our approach for the engineering of reactive services, we specify systems as collaborations by means of UML 2.0 activities. In automated and correctness-preserving steps, the collaborative models are transformed into executable code. The semantics of the activities are defined using temporal logic. This formal fundament can be utilized to prove that the collaborations fulfill certain general well-formedness properties which can be verified by the model checker TLC. This is quite relevant since communication delays in the interactions between the participants realizing a collaboration aggravate the design of correct collaborative behavior. The well-known state space explosion problem of model checkers is mitigated by using special external state machines which define the interface behavior of sub-activities. The generation of the formal input for TLC from the activities is completely automated, so that the engineers working on the activities do not need to be experts in temporal logic and model checking. In this paper, we describe the utilization of TLC to detect and correct design errors by means of an example.
Cost-Efficient Deployment of Collaborating Components
"... Abstract. We study the problem of efficient deployment of software components in a service engineering context. Run-time manipulation, adaptation and compo-sition of entities forming a distributed service is a multi-faceted problem chal-lenged by a number of requirements. The methodology applied and ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
(Show Context)
Abstract. We study the problem of efficient deployment of software components in a service engineering context. Run-time manipulation, adaptation and compo-sition of entities forming a distributed service is a multi-faceted problem chal-lenged by a number of requirements. The methodology applied and presented can be viewed as an intersection between systems development and novel network management solutions. Application of heuristics, in particular artificial intelli-gence in the service development cycle allows for optimization and should even-tually grant the same benefits as those existing in distributed management archi-tectures such as increased dependability, better resource utilization, etc. The aim is finding the optimal deployment mapping of components to physically available resources, while satisfying all the non-functional requirements of the system de-sign. Accordingly, a new component deployment approach is introduced utilizing distributed stochastic optimization. 1
Group Communication System
"... i This thesis studies the SPACE method by creating building blocks for a Push to Talk (PTT) service in WLAN environment. The structure and behavior of a PTT service is analyzed and discussed. We have modeled the behavior of a PTT service with the GUI of the PTT client. As a result, several of buildi ..."
Abstract
- Add to MetaCart
(Show Context)
i This thesis studies the SPACE method by creating building blocks for a Push to Talk (PTT) service in WLAN environment. The structure and behavior of a PTT service is analyzed and discussed. We have modeled the behavior of a PTT service with the GUI of the PTT client. As a result, several of building blocks for a PTT service have been proposed. They can be stored in a library for a later reuse. We consider that the SPACE method well suited for developing a PTT service.
Automated Encapsulation of UML Activities for Incremental Development and Verification
"... Abstract. With their revision in the UML 2.x standard, activities have been extended with streaming parameters. This facilitates a reuse-orien-ted specification style, in which dedicated functions can be contributed by self-contained activities as building blocks: Using streaming param-eters, activi ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. With their revision in the UML 2.x standard, activities have been extended with streaming parameters. This facilitates a reuse-orien-ted specification style, in which dedicated functions can be contributed by self-contained activities as building blocks: Using streaming param-eters, activities can be composed together in a quite powerful manner, since streaming parameters may also pass information while activities are executing. However, to compose them correctly, we must know in which sequence an activity may emit or accept these streaming parame-ters. Therefore, we propose special UML state machines that specify the externally visible behavior of activities. Further, we develop an algorithm to construct these state machines automatically for an activity based on model checking. Using these behavioral contracts, activities can then be composed without looking at their internal details. Moreover, the con-tracts can be used during system verification to reduce the complexity of the analysis.
