Agent http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#Agent agent (i.e., element of type Agent) is a process equipped with state (i.e., element State defined in state.xsd). A constant (defined in formula.xsd) of this type contains agent's short name in the element shortName, and agent's communication address in the element longName. It is supposed that all essential data of agent is stored in its state. Agent is dedicated for a single task realization. It is created when there is a task to be realized, and is terminated after the task realization or if the task can not be realized. More details on http://www.ipipan.waw.pl/mas/ Service http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#Service service (i.e., element of type Service) is a process having its own state (i.e., element State defined in state.xsd). It is an application processing data (e-documents). A constant (defined in formula.xsd) of this type contains service's short name in the element shortName, and service's communication address in the element longName. Processing e-documents may result in effecting the real world, e.g., purchasing a commodity or withdraw of some amount of money from a bank account, or just taking some physical actions like switching off/on a washing machine. More details on http://www.ipipan.waw.pl/mas/ Time http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#Time element of this type is a date and time written according to xsd:dateTime format, e.g., ..... . A constant (defined in formula.xsd) of this type contains this string in the element shortName of the constantName, and there is no longName in the constantName. Token http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#Token token is an arbitrary string of type xsd:string. A constant (defined in formula.xsd) of this type contains this string in the element shortName of the constantName, and there is no longName in the constantName. It is used as value of function token(?resource). It is a general way to identify resources (e-docs) of any type on the language level. Note that our language Entish is independent from data format of resources; the format may be arbitrary, e.g., MS Word, XML, txt, binary, and so on. Index http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#Index element of type Index is a string of type xsd:string. The string is the form of decimal numbers separetad by dots in the same way as IP addresses, e.g., '0.12.3' '34.0.11.45.1' '5.34' A constant (defined in formula.xsd) of this type contains this string in the element shortName of the constantName, and there is no longName in the constantName. It is used as value of function index( ?resource ). The value (index) is associated with an option. Indexes serve to determine interdependencies between options that describe resources in workflow. intentions http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#intentions ?agent Agent intentions(?agent) is an atomic formula. It is evaluated (only!) locally (i.e., by ?agent). The evaluation returns the disjunction of all formulas from the element plan of the state of the ?agent. true http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#true true is the relation always true, it corresponds to the Boolean value "true". false http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#false false is the relation always false, it corresponds to the Boolean value "false". timeout http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#timeout ?t Time timeout(?t) can be evaluated at any host. It is true if the time ?t is less or equal to the current GMT time at the host. equals http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#equals ?x ?y equals(?x, ?y) or more frequently (?x = ?y) is a polimorphic equality relation. It can be evaluated if ?x and ?y are of the same type. formInOperationType http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#formInOperationType ?service Service formInOperationType( ?service ) is an atomic formula to be evaluated only by ?service. The evaluation returns the formula from the formIn element of the state of ?service. The formula describes the precondition necessary for ?service invocation. formOutOperationType http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#formOutOperationType ?service Service formOutOperationType( ?service ) is an atomic formula to be evaluated by ?service. The evaluation returns the formula from the formOut element of the state of ?service. The formula describes the postcondition of ?service invocation, i.e., the result of performing the operation by ?service. formInCommitment http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#formInCommitment ?service Service formInCommitment( ?service ) is an atomic formula evaluated only by ?service. Evaluation returns the disjunction of formulas from formIn elements of all commitment elements of the state of ?service. It describes the precondition of the commitments made by the ?service. formOutCommitment http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#formOutCommitment ?service Service formOutCommitment( ?service ) is an atomic formula evaluated only by ?service. Evaluation returns the conjunction of formulas from formOut elements of all commitment elements of the state of ?service. It describes the postconditions of the commitments made by the ?service isIn http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#isIn ?resource ?place Service Agent isIn( ?resource, ?place ) states that ?resource is in ?place. It can be evaluated only in ?place. Usually, the ?place denotes either service or agent. token http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#token Token ?resource function token( ?resource ) returns token determined for ?resource. index http://ii5.ap.siedlce.pl:8080/Entish/properEntish.xml#index Index ?resource function index( ?resource ) returns an index that is associated with an option. Options describe the resources in workflow. Indexes serve to determine interdependencies between the options in workflow.