A calculus of mobile processes, II
Information and Computation
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
IEEE Transactions on Software Engineering
Managing Process Inconsistency Using Viewpoints
IEEE Transactions on Software Engineering
Verifying properties of process definitions
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Communication and Concurrency
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Computer-Aided Verification of Software Process Model Properties
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Towards Requirements for Enactment Mechanisms
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
Testing Equivalence as a Bisimulation Equivalence
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Verifying process models built using parameterized state machines
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, ... (Lecture Notes in Computer Science)
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
Expanding the horizons of software development processes: a 3-D integrated methodology
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Definition and analysis of election processes
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Stochastic Process Algebra Based Software Process Simulation Modeling
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A deviation management system for handling software process enactment evolution
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Early deviation detection in modeling activities of MDE processes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Hi-index | 0.00 |
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of Process-Centered Software Engineering Environments (PCSEEs). However, due to the dynamically changing development environment, the developers do not always follow the process model in presence of unforeseen situations. As human with creativity and variant nature, each developer has his or her own way of doing development that may not be allowed by the process model. As a result, various inconsistencies arise in software processes and then the authority of the process model will be undermined. In this paper, we propose an algebraic approach to promote the efficient management of inconsistencies. With the approach, potential inconsistencies can be precisely detected and valuable diagnostic information is available to help process designers efficiently locate the detected inconsistencies. The effectiveness of the approach is demonstrated by experimenting it on an example process.