Industrial maintenance modelled in SOCCA: an experience report

A large industrial process, software maintenance, has been modelled by using the process modelling language SOCCA. The paper reports about the experiences with this trial. In particular, feasibility, expressiveness, quality and the overall benefits of a formal SOCCA model are discussed and compared to the formerly existing informal process description. In order to illustrate the results, a well chosen process model fragment from the larger model is outlined in detail. It addresses in particular the human-intensive cooperation within the process and shows the seamless combination of technical components and human agent components in the SOCCA model. The main conclusions from this trial are that formal SOCCA models are suited to model realistic industrial processes and that due to an intrinsic modular structure of a SOCCA model, even huge models remain reasonably readable and understandable.

[1]  C. Fernstrom,et al.  Process Weaver: adding process support to UNIX , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[2]  Jacky Estublier,et al.  ADELE-TEMPO: an environment to support process modelling and enaction , 1994 .

[3]  Reidar Conradi,et al.  EPOS: object-oriented cooperative process modelling , 1994 .

[4]  Gregor Engels,et al.  Towards Measurable Process Models , 1996, EWSPT.

[5]  Gail E. Kaiser,et al.  Scaling up Rule-Based Software Development Environments , 1992, Int. J. Softw. Eng. Knowl. Eng..

[6]  Bashar Nuseibeh,et al.  Software process modelling and technology , 1994 .

[7]  Gerald Junkermann.  A Dedicated Process Design Language based on EER-models, Statecharts and Tables , 1995, SEKE.

[8]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[9]  Carlo Ghezzi,et al.  SPADE: an environment for software process analysis, design, and enactment , 1994 .

[10]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[11]  J OsterweilLeon,et al.  Language constructs for managing change in process-centered environments , 1990 .

[12]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[13]  Maarten van Steen,et al.  Parallel Control Processes: Modular Parallelism and Communication , 1986, Annual Meeting of the IEEE Industry Applications Society.

[14]  Ian Robertson,et al.  PADM: towards a total process modelling system , 1994 .

[15]  Gregor Engels,et al.  SOCCA: Specifications of Coordinated and Cooperative Activities , 1994 .

[16]  Volker Gruhn,et al.  Process Management In-the-Many , 1995, EWSPT.

[17]  Takeo Kanade,et al.  Intelligent Autonomous Systems , 1991, Robotics Auton. Syst..

[18]  Gregor Engels,et al.  Coordination by Behavioural Views and Communication Patterns , 1995, European Workshop on Software Process Technology.

[19]  Gail E. Kaiser,et al.  Scaling up rule-based development environments , 1991 .

[20]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.