Abstract
Software process is critical for producing high quality software. However, software processes are usually described in natural language which makes it difficult to verify if they have been fully or how well implemented in complex software projects. It’s also hard for practitioners to implement processes from different standards and make sure they work harmonically, consistently and completely. Composition Tree (CT) notation, a Behavior Engineering approach has been successfully used to formalize software process in previous work. However, there are no reasoning tools for CT to automatically check and verify the modeled software processes. In this study we explore the synergy of software process modeling and Description Logics (DLs). Given the rich expressiveness of DLs and their efficient and automated reasoning support, DLs can be used to reason and verify software processes more effectively. We propose an algorithm for transforming CT software process model into a DL so that DL reasoning engines can be used to perform automated software process analysis. Case studies and simple examples are also given to justify the feasibility of this proposed approach.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Feiler, P.H., Humphrey, W.S.: Software process development and enactment: Concepts and definitions. In: 2rd International Conference on Software Process, pp. 28–40 (1993)
Wen, L., Tuffley, D., Rout, T.: Using composition trees to model and compare software process. In: O’Connor, R.V., Rout, T., McCaffery, F., Dorling, A. (eds.) SPICE 2011. CCIS, vol. 155, pp. 1–15. Springer, Heidelberg (2011)
Curtis, B., Kellner, M., Over, J.: Process modeling. Commun. ACM 35, 75–90 (1992)
ISO/IEC TR 24774. Software and systems engineering – Life cycle management – Guidelines for process description (2007)
ISO/IEC IEEE 12207 CD1 - revision of 12207:2008 Systems and software engineering Software life cycle processes (2014)
ISO/IEC TR 29110-5-1-2, Software engineering – Lifecycle profiles for Very Small Entities (VSEs): Management and engineering guide: Generic profile group: Basic profile (2011)
Wen, L., Rout, T.: Using composition trees to validate an entry profile of software engineering lifecycle profiles for very small entities (VSEs). In: Mas, A., Mesquida, A., Rout, T., O’Connor, R.V., Dorling, A. (eds.) SPICE 2012. CCIS, vol. 290, pp. 38–50. Springer, Heidelberg (2012)
Calvanese, D.: Description Logics for Conceptual Modeling. EPCL Basic Training Camp Dresden, Germany (2012)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artif. Intell. 168, 70–118 (2005)
Krotzsch, M., Simancik, F., Horrocks, I.: A Description Logic Primer. University of Oxford, Oxford (2013)
Bergman, M.: The Fundamental importance of keeping an ABox and TBox Split, AI3 Adaptive Information (2009). http://www.mkbergman.com
Thaddeus, S., Kasmir Raja, K.: Ontology for software Engineering Process Automation (2006). http://www.researchgate.net/publication/278241783
Acuna, S.T., Jusristo, N., Moreno, A.M.: A Software Process Model Handbook for Incorporating People’s Capabilities XXVIII, 324 p. 90 (2005)
Rodriguez, D., Garcia, E., Sanchez, S., Nuzzi, C.R.: Defining software process model constraints with rules using OWL and SWRL. International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing Company (2010)
Behavior Engineering Web Site. http://www.behaviorengineering.org/
Dromey, R.G.: System Composition: Constructive Support for the Analysis and Design of Large Systems, SETE, Systems Engineering Conference, Brisbane, Australia (2005)
Wen, L., Dromey, R.G.: From Requirements Change to Design Change: A Formal Path. In: Proceedings of the 2nd IEEE International Conference on SEFM (2004)
Borgida, A., Lenzerini, M., Rosati, R.: Description logics for databases. In: [5], pp. 462– 484. Cambridge University Press (2003)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J.,Welty, C. (eds.) Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning KR, pp. 57–67. AAAI Press (2006)
Moor, A., Delugach, H.: Software process validation: comparing process and practice models. In: Eleventh International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2006. Conjunction with 18th Conference on Advanced Information Systems Engineering, Luxembourg (2006)
Yatapanage, N., Winter, K., Zafar, S.: Slicing behavior tree models for verification. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 125–139. Springer, Heidelberg (2010)
Roedler, G.: An Overview of ISO/IEC/IEEE 15288, System Life Cycle Processes. Asian Pacific Council on Systems Engineering (APCOSE) Conference (2010)
Motik, B., Shearer, R., Horrocks, I.: A hypertableau calculus for SHIQ. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proceedings of the 2007 Description Logic Workshop (DL 2007) (2007)
Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67–83. Springer, Heidelberg (2007)
Sirin, E., Parsia, B.: Pellet system description. In: Parsia, B., Sattler, U., Toman, D. (eds.), Description Logics. CEUR Workshop Proceedings, vol. 189. CEUR-WS.org (2006)
Tsarkov, D., Horrocks, I.: FaCTÂ ++Â description logic reasoner: System description. In: Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), 2006. FaCTÂ ++Â download page http://owl.man.ac.uk/factplusplus/
ISO/IEC 33053 PDTS1 Information Technology — Process Assessment — Process reference model for quality management (2016)
Siegemund, K., Thomas, E., Zhao, Y., Pan, J., Assmann, U.: Towards ontology-driven requirements engineering. In: The 10th International Semantic Web Conference (ISWC2011)
Wang, S., Jin, L., Jin, C.: Represent software process engneering metamodel in description logic. In: Proceedings of World Academy of Science, Engineering and Technology. 11 ISSN 1307-6884 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Kabaale, E., Wen, L., Wang, Z., Rout, T. (2016). Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification. In: Clarke, P., O'Connor, R., Rout, T., Dorling, A. (eds) Software Process Improvement and Capability Determination. SPICE 2016. Communications in Computer and Information Science, vol 609. Springer, Cham. https://doi.org/10.1007/978-3-319-38980-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-38980-6_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-38979-0
Online ISBN: 978-3-319-38980-6
eBook Packages: Computer ScienceComputer Science (R0)