N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
JAsCo: an aspect-oriented approach tailored for component based software development
Proceedings of the 2nd international conference on Aspect-oriented software development
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Towards aspect weaving applications
Proceedings of the 27th international conference on Software engineering
ICEBE '05 Proceedings of the IEEE International Conference on e-Business Engineering
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Isolating process-level concerns using padus
BPM'06 Proceedings of the 4th international conference on Business Process Management
Semantically-Aided Business Process Modeling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Domain-driven reduction optimization of recovered business processes
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Supporting Ontology-Based Semantic Annotation of Business Processes with Automated Suggestions
International Journal of Information System Modeling and Design
A knowledge-based formalization of UBL processes using hybrid programs
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
| Hi-index | 0.00 |
Enriching business process models with semantic tags taken from an ontology has become a crucial necessity in service provisioning, integration and composition. In this paper we propose to represent semantically labelled business processes as part of a knowledge base that formalises: business process structure, business domains, and a set of criteria describing correct semantic labelling. Our approach allows (1) to impose domain dependent constraints during the phase of process design, and (2) to automatically verify, via logical reasoning, if business processes fulfill a set of given constraints, and to formulate queries that involve both knowledge about the domain and the process structure. Feasibility and usefulness of our approach will be shown by means of two use cases. The first one on domain specific constraints, and the second one on mining and evolution of crosscutting concerns.