Communications of the ACM
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Expert One-on-One J2EE Design & Development
Expert One-on-One J2EE Design & Development
Using UML to Design Distributed Collaborative Workflows: from UML to XPDL
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
The Pragmatics of Model-Driven Development
IEEE Software
BPM: The Promise and the Challenge
Queue - DSPs
A Categorization of Collaborative Business Process Modeling Techniques
CECW '05 Proceedings of the Seventh IEEE International Conference on E-Commerce Technology Workshops
A formal framework to generate XPDL specifications from UML activity diagrams
Proceedings of the 2006 ACM symposium on Applied computing
Model transformations for hypertext modeling on web information systems
Proceedings of the 2006 ACM symposium on Applied computing
Generation of WebML web application models from business process specifications
ICWE '06 Proceedings of the 6th international conference on Web engineering
YAWL: yet another workflow language
Information Systems
A model driven method for service composition modelling: a case study
International Journal of Web Engineering and Technology
Analysis Techniques for Service Models
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Supporting Model---Driven Development of Object---Relational Database Schemas: A Case Study
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
DRLinda: a distributed message broker for collaborative interactions among business processes
EC-Web'07 Proceedings of the 8th international conference on E-commerce and web technologies
BPEL2DENEB: Translation of BPEL Processes to Executable High-Level Petri Nets
ICIW '10 Proceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services
Information and Software Technology
Control and data flow compatibility in the interaction between dynamic business processes
Concurrency and Computation: Practice & Experience
Analyzing behavioral properties of semantic business processes with parametric data
Concurrency and Computation: Practice & Experience
Integrating software architecture into a MDA framework
EWSA'06 Proceedings of the Third European conference on Software Architecture
A framework for the development and execution of horizontal protocols in open BPM systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Web-PACS for Multicenter Clinical Trials
IEEE Transactions on Information Technology in Biomedicine
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
Hi-index | 0.00 |
The business goals of an enterprise process are traced to business process models with the aim of being carried out during the execution stage. The automatic translation from these models to fully executable code which can be simulated and round-trip engineered is still an open challenge in the Business Process Management field. Model-driven Engineering has proposed a set of methodologies with which to solve the existing gap between business analysts and software developers, but the expected results have not as yet been achieved. In this paper, a new approach to solve this challenge is proposed. This approach is based on the integration of SOD-M, a model-driven method for the development of service-oriented systems, and DENEB, a platform for the development and execution of flexible business processes. SOD-M provides business analysts with a methodology that can be used to transform their business goals into composition service models, a type of model that represents business processes. The use of the Eclipse Modelling Framework and the ATLAS Transformation Language allows this model to be automatically transformed into a DENEB workflow model, resulting in a business process that is coded by a class of high-level Petri-nets and is directly executable in DENEB. The application of the proposal presented herein is illustrated by means of a real system related to the management of medical images.