Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
GOTO removal based on regular expressions
Journal of Software Maintenance: Research and Practice
Global Data Flow Analysis and Iterative Algorithms
Journal of the ACM (JACM)
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Machines, Languages and Computation
Machines, Languages and Computation
Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
Folklore confirmed: reducible flow graphs are exponentially larger
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Mapping EDOC to Web Services using YATL
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Decentralizing execution of composite web services
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Declarative techniques for model-driven business process integration
IBM Systems Journal
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Getting rid of OR-joins and multiple start events in business process models
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Survey paper: Refactoring large process model repositories
Computers in Industry
Structuring acyclic process models
Information Systems
Hi-index | 0.00 |
This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representations. A business process modelling language usually uses the simple concept of 'goto' to describe the operation sequence of a business. If a structured language is chosen as the executable representation, it is difficult to compile the unstructured goto flows into structured statements when the process model is irreducible. This paper discusses a method called Regular Expression Language (REL). REL is a method that can compile a business process model that is irreducible with unstructured loops to statements in structured languages with controlled code complexity. Examples are given for compiling models expressed as UML2 Activity Diagrams into the Business Process Execution Language for Web Services (BPEL4WS).