Filters








628 Hits in 5.9 sec

An Agent-Oriented Information System: A Model Driven Approach

Abdelaziz ELFazziki, Sana Nouzri, Mohamed Sadgal
2012 International Journal of Computer Applications  
In this work, we focus on the development of multi-agent systems (MAS) and a set of model transformation rules. Different ways of transforming a model into another exist.  ...  The development process proposed is based separate aspects of systems, a BPMN metamodel, AML agent meta-model and a JADEX meta-model and the automated transformation rules with ATL language.  ...  To transform a BPMN diagram into an AML model, and an AML model into JADEX model, we have to insert this last one into the BPMN Meta-model, to allow it to become an instance of the MOF or ECORE based BPMN  ... 
doi:10.5120/7173-9789 fatcat:6suihuv7inhi3diotfgu6vzudq

Using Metamodels to Improve Model-Based Testing of Service Orchestrations

Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
2020 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC)  
Online model-based testing is one of the most suitable techniques to assess the proper behavior of service orchestrations.  ...  generation process, thus bringing benefits in case of agile development processes, where system and technology evolution is frequent.  ...  The Model class is the root class as the classes of the STM can be divided into behavioral and requirement classes. The model class is responsible for holding both behavioral and requirement objects.  ... 
doi:10.1109/prdc50213.2020.00024 fatcat:uw7oyc7ejbdrdauuzllbpqzbua

A Novel Framework to Automatically Generate Executable Web Services from BPMN Models

Iqra Zafar, Farooque Azam, Muhammad Waseem Anwar, Bilal Maqbool, Wasi Haider Butt, Aiman Nazir
2019 IEEE Access  
Therefore, in this paper, a novel framework is proposed that supports the modeling of both exchanges as well as conversion processes through BPMN.  ...  As a part of the research, a complete open-source BPMN to Web services transformation (B2W) tool is developed to automatically generate the Web services from the high-level BPMN models.  ...  : In order to define the behavior of the business process, flow objects are the major elements used to define these behaviors.  ... 
doi:10.1109/access.2019.2927785 fatcat:avo7cssconelveeaqwjzsz7xqq

Ethereum's Smart Contracts Construction and Development using Model Driven Engineering Technologies: a Review

Yassine Ait Hsain, Naziha Laaz, Samir Mbarki
2021 Procedia Computer Science  
The result can be used as a basis of tool selection for specific development aspects of SCs.  ...  The result can be used as a basis of tool selection for specific development aspects of SCs.  ...  Hence, developers have to deploy code taking into consideration the continuous evolution of the Ethereum platform.  ... 
doi:10.1016/j.procs.2021.03.097 fatcat:5sz3pdgk3rdxtpvxgmriypcp34

A Model-driven Architecture for Collaborative Business Processes

Leila Amdah, Naima Essadi, Adil Anwar
2021 International Journal of Advanced Computer Science and Applications  
The Model Driven Engineering was developed to make application development more flexible, it provides a comprehensive interoperability framework for defining interconnected systems, and aims to reduce  ...  This paper show the use of MDE in the context of business process management and present in detail an architecture for the development of collaborative business processes.  ...  The BPMN4Coll language is an extension of BPMN so it is obvious that it consist of the same BPMN elements.  ... 
doi:10.14569/ijacsa.2021.0120883 fatcat:7qm4gfvcdjhwpehz5k2qgf6voi

Comparison of the Two-Hemisphere Model-Driven Approach to Other Methods for Model-Driven Software Development

Oksana Nikiforova, Ludmila Kozacenko, Dace Ahilcenoka, Konstantins Gusarovs, Dainis Ungurs, Maris Jukss
2015 Applied Computer Systems  
At the moment there are a lot of methods and techniques to create those models and transform them into each other.  ...  The goal of this research is to compare different methods positioned for performing the same tasks as the 2HMD approach and to understand the state of the art in the area of model-driven software development  ...  ACKNOWLEDGMENT The research presented in the paper is supported by Latvian Council of Science, Project No. 342/2012 "Development of Models and Methods Based on Distributed Artificial Intelligence, Knowledge  ... 
doi:10.1515/acss-2015-0013 fatcat:77dp5fkv6zdx5dta2h3mp4o7ge

An Automated Framework for BPMN Model Verification Achieving Branch Coverage

Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
2021 Engineering Journal  
The designed BPMN model is transformed into a CPN model and control flow graph (CFG). The CFG is used to create the execution paths and to find the interleaved activities.  ...  Although there are many researches providing the transformation rules and frameworks for automating and verifying the CPN model, the CPN markings determination covering all execution paths is quite cumbersome  ...  The notations of BPMN are extended from the elements of UML activity diagram, Flow chart, Data flow and BPM.  ... 
doi:10.4186/ej.2021.25.2.135 fatcat:v6l3se7usjgzdhku6w5l5xkd5y

Alignment between Business Requirement, Business Process, and Software System: A Systematic Literature Review

Maryam Habba, Mounia Fredj, Samia Benabdellah Chaouni
2019 Journal of Engineering  
[77] propose an approach to model business rules and to link them into software design elements.  ...  (xxxvi) Ha and Kang [78] propose consistency rules using the OCL formalism to ensure the coherence between structural and behavioral diagrams of UML. Conclusion of RQ2.  ... 
doi:10.1155/2019/6918105 fatcat:o4vaujxii5gfllz3zphtaapux4

Checking Business Process Evolution [chapter]

Pascal Poizat, Gwen Salaün, Ajay Krishna
2017 Lecture Notes in Computer Science  
Thanks to an implementation of our approach that can be used through a Web application, we put the checking of evolution within the reach of business process designers.  ...  To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra.  ...  Once all BPMN elements are encoded into LNT, the last step is to compose them in order to obtain the behavior of the whole BPMN process.  ... 
doi:10.1007/978-3-319-57666-4_4 fatcat:gcyotcsvrbgp7numkepffab7oy

Checking business process evolution

Ajay Krishna, Pascal Poizat, Gwen Salaün
2019 Science of Computer Programming  
Thanks to an implementation of our approach that can be used through a Web application, we put the checking of evolution within the reach of business process designers.  ...  To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra.  ...  Once all BPMN elements are encoded into LNT, the last step is to compose them in order to obtain the behavior of the whole BPMN process.  ... 
doi:10.1016/j.scico.2018.09.007 fatcat:iorhz276cvdjpplftxb3xpf7tq

Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance

Meriem Kherbouche, Galena Pisoni, Bálint Molnár
2022 Applied System Innovation  
We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment.  ...  We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable  ...  The transformation is done from element to element only when it comes to the workflow: join in the UML activity diagram is transformed into a non-real transition with incoming arcs from the joined places  ... 
doi:10.3390/asi5010010 fatcat:64sbcwzoqrc7lcnvmleaox3k4i

Model-driven engineering: A survey supported by the unified conceptual model

Alberto Rodrigues da Silva
2015 Computer languages, systems & structures  
For the sake of simplicity and readability this unified conceptual model is described through a coherent set of UML class diagrams complemented by descriptions and discussions in natural language.  ...  In the last decades numerous techniques and modeling languages have been proposed to support the design and the development of complex software systems.  ...  Most of the existing semantics frameworks, developed originally for programming languages [71] , are also used to define the semantics of executable models (such as UML state machines or BPMN business  ... 
doi:10.1016/j.cl.2015.06.001 fatcat:bkas5tg4afcmhbfi6d5yt2sjfe

Alignment and Change Propagation between Business Processes and Service-Oriented Architectures

Karim Dahman, Francois Charoy, Claude Godart
2013 2013 IEEE International Conference on Services Computing  
to the business evolutions.  ...  Increasing the productivity of the Service-Oriented Software Engineering through a model-driven methodology needs to go beyond business services modeling and the automation of transforming models that  ...  For example, when adding two BPMN elements and deleting one of them it is less interesting to translate three operations than transforming the model (i.e., by neglecting the diff effort).  ... 
doi:10.1109/scc.2013.101 dblp:conf/IEEEscc/DahmanCG13 fatcat:tzsr2excxzhz7hnf5cjnr3gsta

Managing Process Model Complexity Via Abstract Syntax Modifications

Marcello La Rosa, Petia Wohed, Jan Mendling, Arthur H. M. ter Hofstede, Hajo A. Reijers, Wil M. P. van der Aalst
2011 IEEE Transactions on Industrial Informatics  
It is thus hard to obtain comparative insight into the degree of support offered for various complexity reducing mechanisms by stateof-the-art languages and tools.  ...  The paper concludes with a comparative overview of the degree of support for these patterns offered by state-of-theart languages and language implementations.  ...  For example, Fig. 5 shows a BPMN model consisting of three levels with one root module and three subprocess modules.  ... 
doi:10.1109/tii.2011.2166795 fatcat:tb65jtmbjnhxzhadosjcbyy6ze

xSPIDER_ML: Proposal of a Software Processes Enactment Language Compliant with SPEM 2.0

Carlos Portela, Alexandre Vasconcelos, Antônio Silva, Elder Silva, Mariano Gomes, Maurício Ronny, Wallace Lira, Sandro Oliveira
2012 Journal of Software Engineering and Applications  
First, we will present a critical analysis of the SPEM standard approach for enactment.  ...  The language presented in this paper is part of a support set of tools for flexible software process enactment. Additionally, this set of tools is in compliance with software process quality models.  ...  grant of the MCT/CNPq/FNDCT No. 19/2009 announcement for the development of this work.  ... 
doi:10.4236/jsea.2012.56044 fatcat:gn6osimvmbdfdgj5nwrr6jfdrm
« Previous Showing results 1 — 15 out of 628 results