A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
Managing software processes in the environment MELMAC
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Fundamentals of software engineering
Fundamentals of software engineering
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
EPOS: object-oriented cooperative process modelling
Software process modelling and technology
MERLIN: supporting cooperation in software development through a knowledge-based environment
Software process modelling and technology
ALF: a framework for building process-centred software engineering environments
Software process modelling and technology
Software engineering (5th ed.)
Software engineering (5th ed.)
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design of a next-generation process language
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
A process-driven tool to support online dispute resolution
dg.o '06 Proceedings of the 2006 international conference on Digital government research
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
Experience in using a process language to define scientific workflow and generate dataset provenance
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Process technology to facilitate the conduct of science
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Toward a comparable characterization for software development activities in context of MDE
Proceedings of the 2011 International Conference on Software and Systems Process
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
| Hi-index | 0.00 |
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope to support reasoning about, and partial automation of, software development processes, rework be more formally understood. In our experience in designing formalized processes in software development and other domains, we have noticed a recurring process pattern that can be used to model rework quite successfully. This paper presents that pattern, which models rework as procedure invocation in a context that is carefully constructed and managed. We present some scenarios drawn from software engineering in which rework occurs. The paper presents rigorously defined models of these scenarios, and demonstrates the applicability of the pattern in constructing these models.