A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
International Journal of Applied Information Systems
In our previous work on business process, we have provided the foundation for formalization based on the environment concept. The environment is defined as a set of observers whose values change according to the actions of tasks. From their values, observers are grouped to form a set of states. A state is defined as the characteristic of an environment from which the satisfaction of the goal associated to the business process is checked. In this paper, based on Denotational Semantics, we willdoi:10.5120/ijais-3649 fatcat:3ktpeel3yndwvpl4ogurlj6aiu