Journal ArticleDOI
Software process model evolution in the SPADE environment
Reads0
Chats0
TLDR
The mechanisms a process language should possess in order to support changes are discussed and how the proposed mechanisms can be used to model different policies for changing a software process model are discussed.Abstract:
Software processes are long-lived entities. Careful design and thorough validation of software process models are necessary to ensure the quality of the process. They do not prevent, however, process models from undergoing change. Change requests may occur in the context of reuse, i.e. statically, in order to support software process model customization. They can also occur dynamically, while software process models are being executed, in order to support timely reaction as data are gathered from the field during process enactment. We discuss the mechanisms a process language should possess in order to support changes. We illustrate the solution adopted in the context of the SPADE environment and discuss how the proposed mechanisms can be used to model different policies for changing a software process model. >read more
Citations
More filters
Journal ArticleDOI
Discovering models of software processes from event-based data
Jonathan Cook,Alexander L. Wolf +1 more
TL;DR: In this article, the authors describe a Markov method for process discovery, as well as two additional methods that are adopted from other domains and augmented for their purposes, and compare the methods and discuss their application in an industrial case study.
Journal ArticleDOI
Version models for software configuration management
TL;DR: This article provides an overview and classification of different versioning paradigms and defines and relates fundamental concepts such as revisions, variants, configurations, and changes and focuses on intensional versioning.
Journal ArticleDOI
The JEDI event-based infrastructure and its application to the development of the OPSS WFMS
TL;DR: An initial evaluation of the experiences in using the event-based architectural style and a classification of some of theevent-based infrastructures presented in the literature are provided.
BookDOI
Enabling Flexibility in Process-Aware Information Systems
Manfred Reichert,Barbara Weber +1 more
TL;DR: This chapter deals with the flexibility needs of both pre-specified and loosely-specified processes and elicitates requirements for flexible process support in a PAIS.
Journal ArticleDOI
Software process validation: quantitatively measuring the correspondence of a process to a model
Jonathan Cook,Alexander L. Wolf +1 more
TL;DR: In this article, the authors developed techniques for uncovering and measuring the discrepancies between models and executions, which they call process validation, which takes a process execution and a process model, and measures the level of correspondence between the two.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Book
Petri Nets: An Introduction
TL;DR: The author presents an example for Applying S-Invariants: The Verification of Facts in C/E-Systems by Means of S- Invariants, a model based on the successful implementation of Nets Analysis in the context of Logic Circuits and Operating Systems.
Proceedings ArticleDOI
Software processes are software too
TL;DR: The major theme of the meeting is the exploration of the importance of process as a vehicle for improving both the quality of software products and the way in which we develop and evolve them.
Journal ArticleDOI
The evolving philosophers problem: dynamic change management
Jeff Kramer,Jeff Magee +1 more
TL;DR: A model for dynamic change management which separates structural concerns from component application concerns is presented and is applied to an example problem, 'evolving philosophers', which has been implemented and tested in the Conic environment for distributed systems.