ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Extending Graphplan to handle uncertainty and sensing actions
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using regression-match graphs to control search in planning
Artificial Intelligence
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
The Construction of Formal Specifications; An Introduction to the Model-Based and Algebraic Approaches
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Planning via Model Checking: A Decision Procedure for AR
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Combining the Expressivity of UCPOP with the Efficiency of Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Large Scale, Type-Compatible Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Integrating planning and scheduling in workflow domains
Expert Systems with Applications: An International Journal
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Supporting Execution-Level Business Process Modeling with Semantic Technologies
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Contingent planning with goal preferences
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A planning approach for message-oriented semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
The deterministic part of IPC-4: an overview
Journal of Artificial Intelligence Research
The first probabilistic track of the international planning competition
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Service-Oriented Modeling: Service Analysis, Design, and Architecture
Service-Oriented Modeling: Service Analysis, Design, and Architecture
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Synthy: A system for end to end composition of web services
Web Semantics: Science, Services and Agents on the World Wide Web
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Semantic annotation and composition of business processes with Maestro
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Automatic undo for cloud management via AI planning
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
Generating project plans for data center transformations
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Supporting undoability in systems operations
LISA'13 Proceedings of the 27th international conference on Large Installation System Administration
Hi-index | 0.00 |
Planning is concerned with the automated solution of action sequencing problems described in declarative languages giving the action preconditions and effects. One important application area for such technology is the creation of new processes in Business Process Management (BPM), which is essential in an ever more dynamic business environment. A major obstacle for the application of Planning in this area lies in the modeling. Obtaining a suitable model to plan with - ideally a description in PDDL, the most commonly used planning language - is often prohibitively complicated and/or costly. Our core observation in this work is that this problem can be ameliorated by leveraging synergies with model-based software development. Our application at SAP, one of the leading vendors of enterprise software, demonstrates that even one-to-one model re-use is possible. The model in question is called Status and Action Management (SAM). It describes the behavior of Business Objects (BO), i.e., large-scale data structures, at a level of abstraction corresponding to the language of business experts. SAM covers more than 400 kinds of BOs, each of which is described in terms of a set of status variables and how their values are required for, and affected by, processing steps (actions) that are atomic from a business perspective. SAM was developed by SAP as part of a major model-based software engineering effort. We show herein that one can use this same model for planning, thus obtaining a BPM planning application that incurs no modeling overhead at all. We compile SAM into a variant of PDDL, and adapt an off-the-shelf planner to solve this kind of problem. Thanks to the resulting technology, business experts may create new processes simply by specifying the desired behavior in terms of status variable value changes: effectively, by describing the process in their own language.