{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:07:58Z","timestamp":1742918878505,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319389790"},{"type":"electronic","value":"9783319389806"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-38980-6_26","type":"book-chapter","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T06:54:07Z","timestamp":1462949647000},"page":"362-376","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification"],"prefix":"10.1007","author":[{"given":"Edward","family":"Kabaale","sequence":"first","affiliation":[]},{"given":"Lian","family":"Wen","sequence":"additional","affiliation":[]},{"given":"Zhe","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Terry","family":"Rout","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,12]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Humphrey, W.S.: Software process development and enactment: Concepts and definitions. In: 2rd International Conference on Software Process, pp. 28\u201340 (1993)","DOI":"10.21236\/ADA258465"},{"key":"26_CR2","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21233-8_1","volume-title":"Software Process Improvement and Capability Determination","author":"L Wen","year":"2011","unstructured":"Wen, L., Tuffley, D., Rout, T.: Using composition trees to model and compare software process. In: O\u2019Connor, R.V., Rout, T., McCaffery, F., Dorling, A. (eds.) SPICE 2011. CCIS, vol. 155, pp. 1\u201315. Springer, Heidelberg (2011)"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B Curtis","year":"1992","unstructured":"Curtis, B., Kellner, M., Over, J.: Process modeling. Commun. ACM 35, 75\u201390 (1992)","journal-title":"Commun. ACM"},{"key":"26_CR4","unstructured":"ISO\/IEC TR 24774. Software and systems engineering \u2013 Life cycle management \u2013 Guidelines for process description (2007)"},{"key":"26_CR5","unstructured":"ISO\/IEC IEEE 12207 CD1 - revision of 12207:2008 Systems and software engineering Software life cycle processes (2014)"},{"key":"26_CR6","unstructured":"ISO\/IEC TR 29110-5-1-2, Software engineering \u2013 Lifecycle profiles for Very Small Entities (VSEs): Management and engineering guide: Generic profile group: Basic profile (2011)"},{"key":"26_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-30439-2_4","volume-title":"Software Process Improvement and Capability Determination","author":"L Wen","year":"2012","unstructured":"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\u2019Connor, R.V., Dorling, A. (eds.) SPICE 2012. CCIS, vol. 290, pp. 38\u201350. Springer, Heidelberg (2012)"},{"key":"26_CR8","volume-title":"Description Logics for Conceptual Modeling","author":"D Calvanese","year":"2012","unstructured":"Calvanese, D.: Description Logics for Conceptual Modeling. EPCL Basic Training Camp Dresden, Germany (2012)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"26_CR9","unstructured":"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)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artif. Intell. 168, 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"26_CR11","volume-title":"A Description Logic Primer","author":"M Krotzsch","year":"2013","unstructured":"Krotzsch, M., Simancik, F., Horrocks, I.: A Description Logic Primer. University of Oxford, Oxford (2013)"},{"key":"26_CR12","unstructured":"Bergman, M.: The Fundamental importance of keeping an ABox and TBox Split, AI3 Adaptive Information (2009). \n                    http:\/\/www.mkbergman.com"},{"key":"26_CR13","unstructured":"Thaddeus, S., Kasmir Raja, K.: Ontology for software Engineering Process Automation (2006). \n                    http:\/\/www.researchgate.net\/publication\/278241783"},{"key":"26_CR14","unstructured":"Acuna, S.T., Jusristo, N., Moreno, A.M.: A Software Process Model Handbook for Incorporating People\u2019s Capabilities XXVIII, 324 p. 90 (2005)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1142\/S0218194010004876"},{"key":"26_CR16","unstructured":"Behavior Engineering Web Site. \n                    http:\/\/www.behaviorengineering.org\/"},{"key":"26_CR17","unstructured":"Dromey, R.G.: System Composition: Constructive Support for the Analysis and Design of Large Systems, SETE, Systems Engineering Conference, Brisbane, Australia (2005)"},{"key":"26_CR18","unstructured":"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)"},{"key":"26_CR19","unstructured":"Borgida, A., Lenzerini, M., Rosati, R.: Description logics for databases. In: [5], pp. 462\u2013 484. Cambridge University Press (2003)"},{"key":"26_CR20","unstructured":"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\u201367. AAAI Press (2006)"},{"key":"26_CR21","unstructured":"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)"},{"key":"26_CR22","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-15240-5_10","volume-title":"Theoretical Computer Science","author":"N Yatapanage","year":"2010","unstructured":"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\u2013139. Springer, Heidelberg (2010)"},{"key":"26_CR23","unstructured":"Roedler, G.: An Overview of ISO\/IEC\/IEEE 15288, System Life Cycle Processes. Asian Pacific Council on Systems Engineering (APCOSE) Conference (2010)"},{"key":"26_CR24","unstructured":"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)"},{"key":"26_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B Motik","year":"2007","unstructured":"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\u201383. Springer, Heidelberg (2007)"},{"key":"26_CR26","unstructured":"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)"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Tsarkov, D., Horrocks, I.: FaCT\u00a0++\u00a0description logic reasoner: System description. In: Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), 2006. FaCT\u00a0++\u00a0download page \n                    http:\/\/owl.man.ac.uk\/factplusplus\/","DOI":"10.1007\/11814771_26"},{"key":"26_CR28","unstructured":"ISO\/IEC 33053 PDTS1 Information Technology \u2014 Process Assessment \u2014 Process reference model for quality management (2016)"},{"key":"26_CR29","unstructured":"Siegemund, K., Thomas, E., Zhao, Y., Pan, J., Assmann, U.: Towards ontology-driven requirements engineering. In: The 10th International Semantic Web Conference (ISWC2011)"},{"key":"26_CR30","unstructured":"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)"}],"container-title":["Communications in Computer and Information Science","Software Process Improvement and Capability Determination"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-38980-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:02:11Z","timestamp":1558393331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-38980-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319389790","9783319389806"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-38980-6_26","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"12 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPICE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Process Improvement and Capability Determination","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spice2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}