A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures

2009 ◽  
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Service Oriented

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.

When Parameterized Model Driven Development Supports Aspect Based SOA

2011 ◽  
Vol 7 (3) ◽  
pp. 44-62 ◽  
Author(s):  
Valérie Monfort ◽  
Slimane Hammoudi
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Processes ◽  
Design Solution ◽  
Technical Solution ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Service Oriented ◽  
Parameterized Model

Service-Oriented Architectures (SOA) are widely used by companies to gain flexibility. Web services are the fitted technical solution used to support SOA by providing interoperability and loose coupling. Basic Web services are being assembled to composite Web services in order to directly support business processes. However, there is much to be done to obtain a genuine flawless Web service, and current market implementations do not provide adaptable Web service behavior depending on the service contract. This paper proposes two different approaches to increase adaptability of Web services and SOA. The first approach is based on Aspect Oriented Programming (AOP) as a new design solution for Web services. The authors have implemented an infrastructure to enrich services with aspects and to dynamically reroute messages according to changes, without redeployment. The second approach combines Model Driven Development (MDD) and Context-Awareness to promote reuse and adaptability of Web services behavior depending on the service context. Parameterized transformation techniques are proposed to bind context with business logic implemented by a service. The aim is to merge the two approaches to abstract and reduce the technical complexity of aspect based service solution.

scholarly journals Non-functional requirements in model-driven development of service-oriented architectures

2018 ◽  
Vol 168 ◽  
pp. 18-37 ◽  
Author(s):  
David Ameller ◽  
Xavier Burgués ◽  
Dolors Costal ◽  
Carles Farré ◽  
Xavier Franch
Keyword(s):  
Functional Requirements ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Service Oriented

scholarly journals Development of service-oriented architectures using model-driven development: A mapping study

2015 ◽  
Vol 62 ◽  
pp. 42-66 ◽  
Author(s):  
David Ameller ◽  
Xavier Burgués ◽  
Oriol Collell ◽  
Dolors Costal ◽  
Xavier Franch ◽  
...  
Keyword(s):  
Mapping Study ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Service Oriented

When Parameterized Model Driven Development Supports Aspect Based SOA

2012 ◽  
pp. 211-230
Author(s):  
Valérie Monfort ◽  
Slimane Hammoudi
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Processes ◽  
Design Solution ◽  
Technical Solution ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Service Oriented ◽  
Service Behavior

Service-Oriented Architectures (SOA) are widely used by companies to gain flexibility. Web services are the fitted technical solution used to support SOA by providing interoperability and loose coupling. Basic Web services are being assembled to composite Web services in order to directly support business processes. However, there is much to be done to obtain a genuine flawless Web service, and current market implementations do not provide adaptable Web service behavior depending on the service contract. This paper proposes two different approaches to increase adaptability of Web services and SOA. The first approach is based on Aspect Oriented Programming (AOP) as a new design solution for Web services. The authors have implemented an infrastructure to enrich services with aspects and to dynamically reroute messages according to changes, without redeployment. The second approach combines Model Driven Development (MDD) and Context-Awareness to promote reuse and adaptability of Web services behavior depending on the service context. Parameterized transformation techniques are proposed to bind context with business logic implemented by a service. The aim is to merge the two approaches to abstract and reduce the technical complexity of aspect based service solution.

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

2020 ◽  
Vol 8 (1) ◽  
pp. 17-49 ◽  
Author(s):  
Said Meghzili ◽  
Allaoua Chaoui ◽  
Martin Strecker ◽  
Elhillali Kerkouche
Keyword(s):  
Petri Nets ◽  
Structural Properties ◽  
Graph Transformation ◽  
Colored Petri Nets ◽  
Model Checker ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Successful Termination ◽  
Cpn Tools

The correctness of transformations has recently begun to attract the attention of the researchers in Model Driven Engineering (MDE). The objective of this article is twofold. First, it presents an approach for transforming BPMN models to Colored Petri nets models using GROOVE and EMF/Xpand tools. Second, it proposes an approach for checking the correctness of the transformation itself. More precisely, we have defined the termination property of the transformation and the preservation of some structural properties of BPMN models by the transformation using the GROOVE graph transformation tool. The authors have also applied the approach on a case study through which the authors have verified the successful termination of the transformation using GROOVE Model Checker and the target model properties using CPN Tools.

scholarly journals RealCoins A Case Study of Enhanced Model Driven Development for Pervasive Games

2015 ◽  
Vol 10 (5) ◽  
pp. 395-410 ◽  
Author(s):  
Hong Guo ◽  
Hallvard Trætteberg ◽  
Alf Inge Wang ◽  
Shang Gao
Keyword(s):  
Pervasive Games ◽  
Model Driven Development ◽  
Model Driven
Sign in / Sign up

Export Citation Format

Share Document