Combining process modelling methods

Information and Software Technology

Volumn 39, Issue 2, 1997, Pages 107-124

  Abeysinghe, Geetha ^a   Phalp, Keith ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Business process modelling; Business process reengineering; Communicating sequential processes; Role activity diagrams

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES; PROCESS ENGINEERING; SOFTWARE ENGINEERING;

BUSINESS PROCESS REENGINEERING; ROLE ACTIVE DIAGRAMS;

MODELS;

EID: 0031076737     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(96)01126-3     Document Type: Article

References (13)

1. A.M. Ould and C. Roberts, Modelling iteration in the software process. Proc. 3rd Int. Soft. Process Workshop. Breckenridge, Colorado, USA. 17-19 November 1986. IEEE Computer Society Press.
2. A.M. Ould, Business Processes Modelling and Analysis for Re-engineering and Improvement, John Wiley, 1995.
3. C. Roberts, Modelling and Co-ordinating Change in Business Processes, 1993. Process Modelling Workshop for the BCS Bristol Branch, Bristol University, Co-Ordination Systems Limited.
4. A.M. Ould, An Introduction to Process Modelling using RADs, illustrated by reference to the case study, 1992. IOPTCLUB Practical Process Modelling Mountbatten Hotel, Monmouth Street, Covent Garden, London.
5. Co-Ordination (1994). RADitor version 1.5: Users Manual, Co-Ordination Systems.
6. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
7. P. Henderson, The CSP stepper in enact - an executable specification, 1992, available as an ftp source from ftp.ecs.soton. ac.uk in pub/peter/various/csp.ps.
8. P. Henderson, Object-Oriented Specification and Design with C + +, McGraw-Hill, 1993.
9. D.J. Hatley and I.A. Pirbhai, Strategies for Real-Time System Specification. Dorset House Publishing, New York.
10. D. Harel, On visual formalisms. Comm. ACM, 31 (1988) 514.
11. B. Kramer, et al. Petri-net based models of software engineering processes. Proc. 23rd Annual Hawaii Int. Conf. on System Sciences, Hawaii.
12. D. Miers, Use of tools and technology within a BPR initiative, in Business Process Re-engineering: Myth and Reality, 1994, Kogan Page.
13. M.G. Hinchey and S.A. Jarvis, Concurrent Systems: Formal Development in CSP, McGraw-Hill, 1995.