An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Workflow management based on process model repositories
Proceedings of the 20th international conference on Software engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
A vision for management of complex models
ACM SIGMOD Record
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Database Systems: The Complete Book
Database Systems: The Complete Book
Primer in Petri Net Design
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Petri Nets, Process Algebras and Concurrent Programming Languages
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Using views to maintain Petri-net-based process models
ICSM '95 Proceedings of the International Conference on Software Maintenance
Using a "Process Warehouse" Concept A Practical Method for Successful Technology Transfer
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Theoretical Computer Science
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
An Efficient Algorithm for Discovering Frequent Subgraphs
IEEE Transactions on Knowledge and Data Engineering
Fundamentals of Database Systems, Fourth Edition
Fundamentals of Database Systems, Fourth Edition
Handbook on Ontologies
Web services and business process management
IBM Systems Journal
Product lines for digital information products
Information Systems
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Autonomic business processes scalable architecture: position paper
BPM'07 Proceedings of the 2007 international conference on Business process management
The ICoP Framework: identification of correspondences between process models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Similarity of business process models: Metrics and evaluation
Information Systems
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Perceived consistency between process models
Information Systems
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Defining composition operators for BPMN
SC'12 Proceedings of the 11th international conference on Software Composition
Analyzing business process architectures
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |
In retail information systems it is common practice to subsume the data of products into product groups, which offers organizational advantages for example when new branches are opened, because they are assigned product groups instead of single products. Inspired by this approach, this paper focuses on business processes and proposes the usage of workflow modules stored in a workflow warehouse, which represent reusable, standardized components that are used to build more complex workflow models. In particular, the paper provides a formal foundation for such compositions in form of a workflow algebra based on Petri nets, which has similar operators known from relational algebra in databases. In addition, the need for a concept of workflow normalization is presented, which arises during the composition of workflow modules. Finally, it is shown how the algebra can also be applied in the context of Web service composition.