Industrial maintenance modelled in SOCCA: an experience report

Bunje, Tineke de; Engels, Gregor; Groenewegen, Luuk; Matsinger, Aart; Rijnbeek, M.

doi:10.1109/icsp.1996.565021

Cited by 7 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Even though this experience is based on only one prototype we assume that our experience in software process technology transfer reveals some aspects that are symptomatic for the gap between software process research and industrial software engineering. This assumption is underpinned by the experience made in similar experiments [4,IO].…”

Section: Applying Software Process Modeling and Enactment In Industrymentioning

confidence: 97%

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

Gruhn¹,

Urbainczyk²

Proceedings of the 20th International Conference on Software Engineering

View full text Add to dashboard Cite

(0) 23 1 755 2782 gruhn @ 1s 1O.informatik.uni-dortmund.de ABSTRACTThe paper provides an overview of process research and the application of research results to practice and then describes process models using FUNSOFT nets and a workflow management system LEU. The example from which the experience is drawn is that of a problem tracking system and the components of the model are described and illustrated. The experience reported comes in three flavors: the appropriateness of FUNSOFT nets as a modeling mechanisms and the alternative use of state transition diagrams; the benefits of the model and its support on the business process; and finally some implications for process research.

show abstract

Section: Applying Software Process Modeling and Enactment In Industrymentioning

confidence: 97%

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

Gruhn¹,

Urbainczyk²

Proceedings of the 20th International Conference on Software Engineering

View full text Add to dashboard Cite

show abstract

“…For example, SOCCA has been used to describe an adaptive software process [21] and an industrial maintenance case study [8], which are typical problems in the area of SE, as well as to describe Blackboard Systems [19], which is a problem in the area of Knowledge Engineering. It can also be argued that PARADIGM and SOCCA are likely to find important applications in the area of multi-agent systems.…”

Section: Introductionmentioning

confidence: 99%

A Procedure to Translate Paradigm Specifications to Propositional Linear Temporal Logic and Its Application to Verification

Augusto

Gómez

2003

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Software systems have evolved from monolithic programs to systems constructed from parallel, cooperative components, as can be currently found in object-oriented applications. Although powerful, these cooperative systems are also more difficult to verify. We show that it is possible to automatically translate a PARADIGM specification to a Propositional Linear Temporal Logic based program. This has several interesting consequences: a) on one hand we allow a more declarative view of PARADIGM specifications, b) the resulting translation is an executable specification and c) as we show in this work it can also be used to verify correctness properties by automatic means. We think this will contribute to enhance the understanding, usability and further development of PARADIGM, and related methods like SOCCA, within both the Software Engineering and the Knowledge Engineering communities.

show abstract