A model driven approach to the design and implementing of fault tolerant Service oriented Architectures

2008 ◽  
Author(s):  
Mohammed Alodib ◽  
Behzad Bordbar ◽  
Basim Majeed
Keyword(s):  
Fault Tolerant ◽  
Service Oriented Architectures ◽  
Model Driven ◽  
Service Oriented ◽  
Model Driven Approach

Modeling Process-Driven SOAs

2011 ◽  
pp. 27-48
Author(s):  
Huy Tran ◽  
Ta’id Holmes ◽  
Uwe Zdun ◽  
Schahram Dustdar
Keyword(s):  
Business Process ◽  
Process Development ◽  
Control Flow ◽  
Levels Of Abstraction ◽  
Service Oriented Architectures ◽  
Model Driven ◽  
Service Oriented ◽  
The One ◽  
Abstraction Levels ◽  
Model Driven Approach

This chapter introduces a view-based, model-driven approach for process-driven, service-oriented architectures. A typical business process consists of numerous tangled concerns, such as the process control flow, service invocations, fault handling, transactions, and so on. Our view-based approach separates these concerns into a number of tailored perspectives at different abstraction levels. On the one hand, the separation of process concerns helps reducing the complexity of process development by breaking a business process into appropriate architectural views. On the other hand, the separation of levels of abstraction offers appropriately adapted views to stakeholders, and therefore, helps quickly re-act to changes at the business level and at the technical level as well. Our approach is realized as a model-driven tool-chain for business process development.

A MODEL-DRIVEN APPROACH TO WEAVE ARCHITECTURAL STYLES INTO SERVICE-ORIENTED ARCHITECTURES

2011 ◽  
Vol 20 (02) ◽  
pp. 201-220 ◽  
Author(s):  
MARCOS LÓPEZ-SANZ ◽  
JUAN MANUEL VARA ◽  
ESPERANZA MARCOS ◽  
CARLOS E. CUESTA
Keyword(s):  
Software Engineering ◽  
Architectural Style ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Architectural Styles ◽  
Architectural Model ◽  
Service Oriented ◽  
Architectural Models ◽  
Model Driven Approach

Model-driven development is recognized as one of the most promising approaches in software engineering. Recent research in the area highlights the importance of using an explicit architectural model in this context. Since service-oriented architectures have also demonstrated to be adequate to overcome current software needs, the idea of using the model-driven approach to generate service-oriented architectural models has successfully flourished in the last years. However, the emphasis on the Service-Oriented Computing (SOC) paradigm has led to the design of architectures lacking some desirable features. Knowing the benefits provided by architectural styles, we have found that their use can help us to overcome those needs. Our goal is to obtain a service-oriented model which satisfies the requirements of the concrete architecture and complies with the constraints and vocabulary defined for a specific architectural style. To achieve this, here, we propose to use a weaving model which merges the concrete architectural model with a model of the architectural style of choice.

A Model Driven Approach to Agent-Based Service-Oriented Architectures

2006 ◽  
pp. 110-122 ◽  
Author(s):  
Ingo Zinnikus ◽  
Gorka Benguria ◽  
Brian Elvesæter ◽  
Klaus Fischer ◽  
Julien Vayssière
Keyword(s):  
Service Oriented Architectures ◽  
Agent Based ◽  
Model Driven ◽  
Service Oriented ◽  
Model Driven Approach

Modeling Platform-Independent and Platform-Specific Service Architectures with UML and the ArchiMeDeS Framework

2014 ◽  
pp. 254-277
Author(s):  
Marcos López-Sanz ◽  
Esperanza Marcos
Keyword(s):  
Main Idea ◽  
Service Oriented Architectures ◽  
Model Driven ◽  
Uml Profiles ◽  
Service Oriented ◽  
Present Part ◽  
Abstraction Levels ◽  
Levels Of Service ◽  
Model Driven Approach ◽  
Architecture Specification

Service-oriented architectures have, over the last decade, gradually become more important. The vast diversity of implementation and support platforms for this kind of architecture increases the complexity of the processes used to develop service-based systems. The task of specifying service architectures can be eased by following a model-driven approach and the appropriate model notations. In this chapter, the authors explore the architectural properties of the service-oriented paradigm and present part of a framework for the specification of service-oriented software architectures. The main idea is to use the separation into different abstraction levels fostered by the MDA proposal and tackle the software architecture specification progressively, stepping from conceptual to platform-specific levels. This chapter particularly concentrates upon describing UML profiles for the PIM and PSM levels of service-oriented architectural models, along with their corresponding metamodels. The use of the proposed profiles is illustrated in a case study in which the proposed profiles are implemented.

Service-Oriented Development of Fault Tolerant Communicating Systems

2010 ◽  
Vol 1 (2) ◽  
pp. 61-85 ◽  
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen
Keyword(s):  
Formal Methods ◽  
Formal Specification ◽  
Development Process ◽  
Formal Model ◽  
Fault Tolerant ◽  
Model Driven ◽  
Telecommunication Systems ◽  
Service Oriented ◽  
Model Driven Approach ◽  
High Degree

Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps increase confidence in building correct software. However, to be used in practice, formal methods should be well integrated into existing development process. In this paper, the authors propose a formal model-driven approach to development of communicating systems. The authors formalize and extend the Lyra approach—a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decomposition of models expressed in UML2. The authors formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra phases. Moreover, this paper extends Lyra to integrate reasoning about fault tolerance in the entire development flow.

Service-Oriented Development of Fault Tolerant Communicating Systems

2012 ◽  
pp. 297-319
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen
Keyword(s):  
Formal Methods ◽  
Formal Specification ◽  
High Probability ◽  
Formal Model ◽  
Fault Tolerant ◽  
Model Driven ◽  
Telecommunication Systems ◽  
Service Oriented ◽  
Model Driven Approach ◽  
High Degree

Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps increase confidence in building correct software. However, to be used in practice, formal methods should be well integrated into existing development process. In this paper, the authors propose a formal model-driven approach to development of communicating systems. The authors formalize and extend the Lyra approach—a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decomposition of models expressed in UML2. The authors formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra phases. Moreover, this paper extends Lyra to integrate reasoning about fault tolerance in the entire development flow.

Sign in / Sign up

Export Citation Format

Share Document