An operational approach to the design of workflow systems |
| |
| Affiliation: | 1. Infosys Technologies Ltd, OCAC Building, Plot No. N-1/170, N.H.-5, 751013, Bhubaneswar India;2. Dipartimento Automatica ed Informatica, Politecnico di Torino, C.so Duca degli Abruzzi 24, Turin 10129, Italy;1. École d’Actuariat, Université Laval, Canada;2. Département de mathématiques, UQAM, Canada;1. Department of Orthopaedic and Trauma Surgery, Hospital Clinic of Barcelona, University of Barcelona, Barcelona, Spain;2. Bone and Joint Infectious Diseases Unit, Hospital Clinic of Barcelona, University of Barcelona, Barcelona, Spain;3. Institut d''Investigacions Biomèdiques August Pi i Sunyer (IDIBAPS), Barcelona, Spain;4. Department of Infectious Diseases, Hospital Clinic of Barcelona, University of Barcelona, Barcelona, Spain;1. SOAS University of London, School of Financial and Management, Thornhaugh Street, Russell Square, London WC1H OXG, United Kingdom;2. The University of Alabama, Box 870225, Culverhouse College of Commerce, Tuscaloosa, AL 35487, United States;3. Manchester Business School, The University of Manchester, Booth Street West, Manchester M15 6PB, United Kingdom |
| |
| Abstract: | We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The OPJ modeling language is suitable for building operational models of complex software systems.The notion of operational parameterized building block is the key point of the approach, which focuses on two major phases: domain modeling and system modeling. Domain modeling consists in providing the classes of the building blocks grouped into different schemata. System modeling consists in building an actual model using the building blocks taken from the above-mentioned schemata; such building blocks are connected to each other according to the rules expressed in the schemata and are given actual parameters.As an example, a workflow management system supporting business process managing travel authorizations is presented. The workflow system is modeled and then used to synthesize a distributed prototype. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
