A model-driven engineering approach to formally verify BPMN models using Petri nets

Model Driven ◽

A model-driven engineering approach to formally verify BPMN models using Petri nets

International Journal of Business Process Integration and Management ◽

10.1504/ijbpim.2017.10009726 ◽

2017 ◽

Vol 8 (4) ◽

pp. 273

Author(s):

Achraf Lyazidi ◽

Salma Mouline

Keyword(s):

Petri Nets ◽

Model Driven ◽

Proceedings of the 9th International Conference on the Internet of Things - IoT 2019 ◽

Enabling easy Web of Things compatible device generation using a Model-Driven Engineering approach

10.1145/3365871.3365898 ◽

2019 ◽

Cited By ~ 3

Author(s):

Markel Iglesias-Urkia ◽

Abel Gómez ◽

Diego Casado-Mansilla ◽

Aitor Urbieta

Keyword(s):

Web Of Things ◽

Model Driven ◽

Model Driven Engineering Approach to Configure Software Reusable Components

Communications in Computer and Information Science - Applied Informatics ◽

10.1007/978-3-030-01535-0_26 ◽

2018 ◽

pp. 352-363 ◽

Cited By ~ 2

Author(s):

Hector Florez ◽

Marcelo Leon

Keyword(s):

Reusable Components ◽

Model Driven ◽

A model-driven engineering approach to simulation experiment design and execution

2015 Winter Simulation Conference (WSC) ◽

10.1109/wsc.2015.7408371 ◽

2015 ◽

Cited By ~ 7

Author(s):

Alejandro Teran-Somohano ◽

Alice E. Smith ◽

Joseph Ledet ◽

Levent Yilmaz ◽

Halit Oguztuzun

Keyword(s):

Simulation Experiment ◽

Experiment Design ◽

Model Driven ◽

Building Models for Ubiquitous Application Development in a Model-Driven Engineering Approach

Special Topics in Multimedia, IoT and Web Technologies ◽

10.1007/978-3-030-35102-1_5 ◽

2020 ◽

pp. 115-147

Author(s):

Marcos Alves Vieira ◽

Sergio T. Carvalho

Keyword(s):

Application Development ◽

Model Driven ◽

Engineering Approach ◽

Building Models

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

A Model Driven Engineering Approach for Heterogeneous Model Composition

10.1007/978-3-319-94764-8_9 ◽

2018 ◽

pp. 198-221

Author(s):

Fazle Rabbi ◽

Yngve Lamo ◽

Lars Michael Kristensen

Keyword(s):

Model Composition ◽

Heterogeneous Model ◽

Model Driven ◽

2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA) ◽

A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition

10.1109/aiccsa47632.2019.9035348 ◽

2019 ◽

Author(s):

Najla Fattouch ◽

Mouna Rekik ◽

Abderrahim Ait Wakrime ◽

Khouloud Boukadi

Keyword(s):

Business Process ◽

Model Driven ◽

Services Composition ◽

A model-driven engineering approach for the service integration of IoT systems

Cluster Computing ◽

10.1007/s10586-020-03150-x ◽

2020 ◽

Vol 23 (3) ◽

pp. 1937-1954

Author(s):

Darwin Alulema ◽

Javier Criado ◽

Luis Iribarne ◽

Antonio Jesús Fernández-García ◽

Rosa Ayala

Keyword(s):

Service Integration ◽

Model Driven ◽

Computational Science and Its Applications – ICCSA 2018 - Lecture Notes in Computer Science ◽

Model Driven Engineering Approach to Manage Peripherals in Mobile Devices

10.1007/978-3-319-95171-3_28 ◽

2018 ◽

pp. 353-364 ◽

Cited By ~ 3

Author(s):

Daniel Sanchez ◽

Hector Florez

Keyword(s):

Mobile Devices ◽

Model Driven ◽

A Model-Driven Engineering Approach for the Observation Needs Specification

10.1109/icalt.2009.191 ◽

2009 ◽

Cited By ~ 1

Author(s):

Boubekeur Zendagui

Keyword(s):

Model Driven ◽