Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Applications of formal methods
Article type: Research Article
Authors: Vossen, Gottfried
Affiliations: European Research Center for Information Systems, Münster, Germany University of Waikato Management School, Hamilton, New Zealand
Abstract: The intention of this paper is to present, in a nutshell, important contributing developments of the last decade that have resulted in a better understanding of applications and technologies needed for present-day service incarnations. We start from process modelling and management, which has its origins in the early 1990s, and which has paved the way for a new understanding of business dynamics and interactions. Technically, process modelling has first led to workflow management, in an attempt to (further) automate internal and external process executions. Yet what is well-understood by now is that process modelling alone is not sufficient, but needs to be complemented by an adequate process management. Once processes and workflows are in place, a common desire nowadays is their outsourcing, and this is a typical situation where Web services enter the picture. Services can also be seen as yet another approach to application integration, whose history has included such diverse directions as remote procedure call (RPC), object-oriented middleware and brokering, or application service provisioning (ASP). Web services have recently emerged as a primarily industrial paradigm for which there are many standards around already, yet their conceptual underpinnings are still in their infancy. The latter include, among others, quality of service (QoS) aspects, and the derivation of a service specification from a given workflow (or process) model.
Keywords: process modelling, workflows, Web services
Journal: Journal of Integrated Design & Process Science, vol. 10, no. 4, pp. 3-11, 2006
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]