Abstract
In collaborative software engineering, many change processes implementing change requests are executed concurrently by different workers. However, the fact that the workers do not have sufficient information about the others’ work and complicated dependencies among artifacts can lead to unexpected inconsistencies among the change-impacted artifacts. By focusing on the contexts of the changes, i.e. the change processes containing the changes, rather than the concurrent changes only like the previous works, we have proposed an approach that helps the workers detect and resolve the inconsistencies more effectively [1]. Our approach is to build a Change Support Environment (CSE) that represents the change processes explicitly as the Change Support Worflows (CSWs) and manages their execution based on our patterns of inconsistency, including many patterns besides the conflict patterns mentioned in the previous works. To evaluate the feasibility of our proposed approach, this paper presents a formal model of CSE using Colored Petri Nets (CPN) to model the artifacts, and both data flow and control flow of CSWs. CPN Tools is used to edit, simulate, and verify the CPN model of CSE to detect data-related abnormalities, in particular the patterns of inconsistency. Differently from the previous works in workflow modeling, our method for modeling CSWs using CPN can represent many aspects of a workflow, including data flow, control structure, and execution time, in one single model. Data and changes on the value of data are also represented explicitly. In addition, our modeling and verification method can be applied to other types of workflow.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Huyen, P.T.T., Ochimizu, K.: Toward Inconsistency Awareness in Collaborative Software Development. In: Proc. of APSEC 2011, pp. 154–162 (2011)
Sarma, A., et al.: Towards Supporting Awareness of Indirect Conflicts across Software Configuration Management Workspaces. In: Proc. of ASE 2007, pp. 94–103 (2007)
Altmanninger, K., et al.: A Survey on Model Versioning Approach. IJWIS 5(3), 271–304 (2009)
Servant, F., et al.: CASI: Preventing Indirect Conflicts through a Live Visualization. In: Proc. of CHASE 2010, pp. 39–46 (2010)
Dewan, P., Hegde, R.: Semi-synchronous Conflict Detection and Resolution in Asynchronous Software Development. In: Proc. of ECSCW 2007, pp. 159–178 (2007)
Hattori, L., Lanza, M.: Syde: A Tool for Collaborative Software Development. In: Proc. of ICSE 2010, pp. 235–238 (2010)
Brun, Y., et al.: Proactive Detection of Collaboration Conflicts. In: Proc. of ESEC/FSE, pp. 168–178 (2011)
Sadiq, S., et al.: Data flow and validation in workflow modeling. In: Proc. of ADC 2004, pp. 207–214 (2004)
Jensen, K., Kristensen, L.M.: Colored Petri Nets - Modeling and Validation of Concurrent Systems. Springer (2009)
CPN Tools, http://cpntools.org/
Whitehead, J.: Collaboration in Software Engineering: A Roadmap. In: Proc. of FOSE 2007, pp. 214–225 (2007)
Sun, S.X., et al.: Formulating the Data Flow Perspective for Business Process Management. Information Systems Research 17(4), 374–391 (2006)
Fan, S., Dou, W.-C., Chen, J.: Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification. In: Chang, K.C.-C., Wang, W., Chen, L., Ellis, C.A., Hsu, C.-H., Tsoi, A.C., Wang, H. (eds.) APWeb/WAIM 2007. LNCS, vol. 4537, pp. 433–444. Springer, Heidelberg (2007)
Awad, A., et al.: Diagnosing and Repairing Data Anomalies in Process Models. In: Proc. of BPD 2009. LNBIP, pp. 1–24 (2009)
Trčka, N., van der Aalst, W.M.P., Sidorova, N.: Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425–439. Springer, Heidelberg (2009)
van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri net-Oriented Approach. The MIT Press (2011)
Sidorova, N., et al.: Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Information Systems 37(7), 1026–1043 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huyen, P.T.T., Hiraishi, K., Ochimizu, K. (2013). Modeling and Verification of Change Processes in Collaborative Software Engineering. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2013. ICCSA 2013. Lecture Notes in Computer Science, vol 7973. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39646-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-39646-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39645-8
Online ISBN: 978-3-642-39646-5
eBook Packages: Computer ScienceComputer Science (R0)