On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Semantic web support for the business-to-business e-commerce lifecycle
Proceedings of the 11th international conference on World Wide Web
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
Beyond Soundness: On the Semantic Consistency of Executable Process Models
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
User-friendly semantic annotation in business process modeling
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these implementations correctly. Carrying out these activities manually can be time consuming, since it involves searching in large service repositories and cycles of testing and re-designing. We present Maestro for BPMN , a tool that allows to annotate and automatically compose activities within business processes, and to verify the consistency of an annotated process.