On the expressive power of programming languages
Proceedings of the third European symposium on programming on ESOP '90
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Introduction to the Special Issue on Adaptive WorkflowSystems
Computer Supported Cooperative Work
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition
Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition
BDI-agents for agile goal-oriented business processes
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Using goals for flexible service orchestration: a first step
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Agile processes through goal- and context-oriented business process modeling
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Hi-index | 0.00 |
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goals are part of the language. The advantage of using goals explicitly in the language is added flexibility in handling failures. In this paper, we investigate how goal-oriented mechanisms for handling failures compare to more standard exception handling mechanisms, by providing a formally defined translation of programs in the goal-oriented orchestration language into programs in the procedural orchestration language, and proving that the procedural orchestration has the same behavior as the goal-oriented orchestration.