The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
Production workflow: concepts and techniques
Production workflow: concepts and techniques
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
WSMX - A Semantic Service-Oriented Architecture
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Information modeling: the process and the required competencies of its participants
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Enterprise Service Bus
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
User-friendly semantic annotation in business process modeling
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Towards a formal framework for reuse in business process modeling
BPM'07 Proceedings of the 2007 international conference on Business process management
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
This paper discusses potential benefits from adding semantics to Business Process Management from a methodological point of view, with a focus on the Modeling and Configuration phases. For this purpose, in each of these phases the established activities are examined and new activities are suggested: Firstly, we suggest combining existing control flow validation techniques with semantic process validation techniques. Second, discovery and composition techniques can be used to find implementations, e.g. services (or combinations of services), for the implementation of process activities at modeling time. The discovered implementations allow for mapping the process steps to the IT infrastructure according to several strategies during process configuration, which helps clearly separating modeling from configuration concerns. Furthermore, a new way of testing executable process models is suggested.