Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
On the capabilities of while, repeat, and exit statements
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Business Process Excellence: Aris in Practice
Business Process Excellence: Aris in Practice
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Integration and Transformation of UML Models
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Proceedings of a symposium on Compiler optimization
SAINT '03 Proceedings of the 2003 Symposium on Applications and the Internet
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Continuous business process management with holosofx bpm suite and ibm mqseries workflow
Continuous business process management with holosofx bpm suite and ibm mqseries workflow
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
The Role of Visual Modeling and Model Transformations in Business-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling inter-process dependencies with high-level business process modelling languages
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Exploiting semantics of inter-process dependencies to instantiate predefined integration patterns
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Combining Quality Assurance and Model Transformations in Business-Driven Development
Applications of Graph Transformations with Industrial Relevance
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Applications of Graph Transformations with Industrial Relevance
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Business process integration point classification and the priority evaluation method
International Journal of Business Information Systems
Distributed Orchestration Versus Choreography: The FOCAS Approach
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
Comparison of Three Model Transformation Languages
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Extending conceptual schemas with business process information
Advances in Software Engineering
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Automatic generation of workflow-extended domain models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A collection operator for graph transformation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Business process integration and automation are among the most significant factors driving the information technology industry today. In addressing the manifold technology challenges of integration and automation, new standardization efforts aim at improving the interoperability of businesses by moving toward a declarative specification of business processes, that is, one which describes what a business process does and not how it is implemented. At the same time, Model Driven Architecture® focuses on improving the software-engineering methods with which business process solutions are implemented by separating the business or application logic from the underlying platform technology and representing this logic with precise semantic models. In this paper, we present an approach to the model-driven generation of programs in the Business Process Execution Language for Web Services (BPEL4WS), which transforms a graphically represented control-flow model into executable code by using techniques that originated in compiler theory. We discuss the underlying algorithms as well as general questions concerning the representation and analysis of model transformations. We study a declarative representation of transformation rules, where preconditions and postconditions are represented in the Object Constraint Language. By adopting a declarative approach, we pave the way for future automatic consistency checking of transformation rules and bidirectional reconciliation of evolving models.