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.

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.

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.

scholarly journals A model-driven approach for collaborative service-oriented architecture design

2009 ◽  
Vol 121 (1) ◽  
pp. 5-20 ◽  
Author(s):  
Jihed Touzi ◽  
Fréderick Benaben ◽  
Hervé Pingaud ◽  
Jean Pierre Lorré
Keyword(s):  
Service Oriented Architecture ◽  
Architecture Design ◽  
Model Driven ◽  
Service Oriented ◽  
Model Driven Approach

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.

Educational Challenge of Health Information Systems’ Interoperability

2007 ◽  
Vol 46 (01) ◽  
pp. 52-56 ◽  
Author(s):  
B. G. M. E. Blobel
Keyword(s):  
Information Systems ◽  
Systems Design ◽  
Formal Modeling ◽  
Close Collaboration ◽  
Context Sensitive ◽  
Model Driven ◽  
Educational Challenge ◽  
Service Oriented ◽  
Model Driven Approach ◽  
Model Interchange

Summary Objectives: As health care develops from an organization-centered via service-centered (disease management) towards a person-centered system (favored homecare, patient monitoring, body area networks), information systems involved have to be semantically interoperable, process-related, decision-supportive, context-sensitive, user-oriented, and trustworthy. Methods: The aforementioned paradigm shift requires highly flexible solutions based on knowledge concepts, provided by a service-oriented and model-driven approach. Results: Information systems’ design, implementation and maintenance have to be realized based on formal grammar. This is true for all considered aspects and views of the system and its components, using metalanguages and reflecting all domains touched. Conclusions: For meeting the challenge, involvement of, and close collaboration between, experts from different domains as well as knowledge and tooling regarding formal modeling and model interchange are required.

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

scholarly journals A model-driven approach to e-course management

2017 ◽  
Author(s):  
Goran Savić ◽  
Milan Segedinac ◽  
Dušica Milenković ◽  
Tamara Hrin ◽  
Mirjana Segedinac
Keyword(s):  
Domain Knowledge ◽  
Formal Model ◽  
Course Management System ◽  
Learning Design ◽  
Course Management ◽  
Model Driven ◽  
Machine Readable ◽  
Model Driven Approach ◽  
Development And Management

This paper presents research on using a model-driven approach to the development and management of electronic courses. We propose a course management system which stores a course model represented as distinct machine-readable components containing domain knowledge of different course aspects. Based on this formally defined platform-independent source course model, the system programmatically generates a final course in different platform-specific target models. Currently, our system supports the generation of IMS learning design, SCORM, LAMS and Sakai courses. The case study presents a formal model of the Web programming course and its transformation to the supported target models.

Sign in / Sign up

Export Citation Format

Share Document