Abstract
One of the important application of service composition techniques lies in the field of business process management. Essentially a business process can be considered as a composition of services, which is usually prepared by domain experts, and many tasks still have to be performed manually. These include the design and creation of the process itself or the modification of an existing one when business requirements change. Any form of automation and support we can bring to the tasks of maintenance and evolution are highly beneficial. One way of creating a new business process is by the combination of two existing ones which naturally should retain the behavioral features of both original processes. In this paper, we introduce a formal language to express behavioral properties of processes together with its semantics, and we show how it supports process merging.
| Original language | English |
|---|---|
| Title of host publication | 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) |
| Place of Publication | Piscataway, NJ |
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Pages | 1-4 |
| Number of pages | 4 |
| ISBN (Electronic) | 9781467303194, 9781467303170 |
| ISBN (Print) | 9781467303187 |
| DOIs | |
| Publication status | Published - 2011 |
| Externally published | Yes |
| Event | 2011 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2011 - Irvine, CA, United States Duration: 12 Dec 2011 → 14 Dec 2011 |
Other
| Other | 2011 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2011 |
|---|---|
| Country/Territory | United States |
| City | Irvine, CA |
| Period | 12/12/11 → 14/12/11 |
Keywords
- Business process
- Process evolution
- Process maintenance
- Process merging
- Temporal logic