An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services

Box 1

General form of goal specification in Flora-2.

goalName:Goal.

goalName[

importOntology -> address of local ontology,

capability ->

pre ->   Conjunction of frames and predicates  ,

post ->   F-logic expression  

,

gRule(R01):ForallRule ->

∖if ( F-logic expression )

∖then (  Actions ) ,

gRule(R02):ChooseRule ->

∖if (  F-logic expression )

∖then ( Actions ) ,

].