Industrial maintenance modelled in SOCCA: an experience report

Authors:
T. de Bunje;G. Engels;L. Groenewegen;A. Matsinger;M Rijnbeek;Philips Res. Lab.;Netherlands Eindhoven
Affiliations:
-;-;-;-;-;-;-
Venue:
ICSP '96 Proceedings of the Fourth International Conference on the Software Process (ICSP '96)
Year:
1996

Citing 0
Cited 4

Software process modeling and enactment: an experience report related to problem tracking in an industrial project

Proceedings of the 20th international conference on Software engineering
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes

Automated Software Engineering
Towards Team-Automata-Driven Object-Oriented Collaborative Work

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Towards team-automata-driven object-oriented collaborative work

Formal and natural computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.