Defining software process model constraints with rules using OWL and SWRL

International Journal of Software Engineering and Knowledge Engineering

Volumn 20, Issue 4, 2010, Pages 533-548

  Rodríguez, Daniel ^a,b   García, Elena ^a   Sánchez, Salvador ^a   Nuzzi, Carlos Rodríguez Solano ^a  

^a UNIVERSITY OF ALCALÁ   (Spain)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

ontologies; OWL; rules; SPEM; SRWL

Indexed keywords

GENERIC PROCESS; META MODEL; META OBJECT FACILITY; OBJECT MANAGEMENT GROUPS; ONTOLOGY WEB LANGUAGE; ONTOLOGY-BASED; OWL; PROCESS DEFINITION; RULES; SEMANTIC WEB RULE LANGUAGES; SOFTWARE PROCESS; SOFTWARE PROCESS MODELS; SPEM; SRWL; STATIC AND DYNAMIC; UML (UNIFIED MODELLING LANGUAGE); WORK PRODUCTS;

JAVA PROGRAMMING LANGUAGE; SEMANTIC WEB; SOFTWARE ENGINEERING; STANDARDS; UNIFIED MODELING LANGUAGE;

ONTOLOGY;

EID: 77957923171     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194010004876     Document Type: Article

References (37)

1. A. Abran, J. Cuadrado, E. García-Barriocanal, O. Mendes, S. Sanchez-Alonso and M. A. Sicilia, Engineering the ontology for the software engineering body of knowledge: Issues and techniques, in Ontologies for Software Engineering (Springer Verlag, New York, 2006).
2. K. D. Althoff, A. Birk, S. Hartkopf, W. Muller, M. Nick, D. Surmann and C. Tautz, Systematic Population, Utilization, and Maintenance of a Repository for Comprehensive Reuse, in Learning Software Organizations - Methodology and Applications, LNCS Vol. 1756 (Springer Verlag, 2000), pp. 25-50.
3. U. Assmann, S. Zschaler and G. Wagner, Ontologies, Meta-models, and the Model- Driven Paradigm, in Ontologies for Software Engineering and Software Technology, C. Calero, F. Ruiz and M. Piattini (Eds.) (Springer Verlag, 2006).
4. S. C. Bandinelli, A. Fuggetta and C. Ghezzi, Software Process Model Evolution in the SPADE Environment, IEEE Trans. Softw. Eng. 19(12) (1993) 1128-1144.
5. A. Barreto, M. de O. Barros and C. M. L. Werner, Staffing a software project: A constraint satisfaction and optimization-based approach, Computers & Operations Research 35(10) (2008) 3073-3089.
6. V. Basili, R. G. Caldiera and H. D. Rombach, The experience factory, in Encyclopedia of Software Engineering, ed. J. J. Marciniak (John Wiley & Sons, 1994), pp. 469-476.
7. D. Berardi, D. Calvanese and G. De Giacomo, Reasoning on UML class diagrams, Artificial Intelligence 168(1-2) (2005) 70-118.
8. J. Cabot, R. Clarisó and D. Riera, Verifying UML/OCL Operation Contracts, 7th International Conference on Integrated Formal Methods (IFM 2009), Düsseldorf, Germany, February 16-19, 2009, LNCS Vol. 5423, 2009, pp, 40-55.
9. P. Ceravolo, E. Damiani, M. Marchesi, S. Pinna and F. Zavatarelli, A ontology-based process modelling for XP, in Software Engineering Conference, 2003, Tenth Asia-Pacific Conference, pp. 236-242, 2003.
10. CMMI, Capability Maturity Model Integration, Version 1.2. Website: http://www.sei.cmu.edu/cmmi/
11. B. Curtis, M. I. Kellner and J. Over, Process modeling, Commun. ACM 35(9) (1992).
12. V. Devedžic, Understanding ontological engineering, Commun. ACM 45(4) (2002) 136-144.
13. F. García, F. Ruiz, C. Calero, M. F. Bertoa, A. Vallecillo, B. Mora and M. Piattini, Effective use of ontologies in software measurement, Knowledge Engineering Review 24(1) (2009) 23-40.
14. T. R., Gruber, Toward principles for the design of ontologies used for knowledge sharing, Int. J. Human-Computer Studies 43(5-6) (1995) 907-928.
15. M. Grüninger and C. Menzel, The process specification language (PSL) theory and applications, Artificial Intelligence Magazine 24(3) (2003) 63-74.
16. S. Gueorguiev, M. Harman and G. Antoniol, Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering, in Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO'09) (ACM, New York, 2000), pp. 1673-1680.
17. J. R. Hobbs and F. Pan, Time Ontology in OWL, W3C Working Draft 27 September 2006, http://www.w3.org/TR/2006/WD-owl-time-20060927/
18. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C (World Wide Web Consortium), 2004. Website: http://www.w3.org/Submission/SWRL/
19. IEEE, SWEBOK, Guide to the Software Engineering Body of Knowledge. 2004. Website: http://www2.computer.org/portal/web/swebok
20. ISO: ISO/IEC 12207:2008 Systems and software engineering - Software life cycle processes (2008).
21. ISO: ISO/IEC 15504 Information technology process assessment, Parts 1 to 8.Website: http://www.iso.org/ (2009).
22. B. A. Kitchenham, G. H. Travassos, A. V. Mayrhauser, F. Niessink, N. F. Schneidewind, J. Singer, S. Takada, R. Vehvilainen and H. Yang, Towards an Ontology of software maintenance, Journal of Software Maintenance: Research and Practice 11(6) (1999) 365-389.
23. M. Milanović, D. Gašević, A. Giurca and G. Wagner, On Interchanging between OWL/SWRL and UML/OCL, in Proceedings of 6th OCL Workshop at the UML/MoDELS Conference (OCLApps 2006), Genova, Italy, October 2, 2006.
24. N. Neagu and B. Faltings, Soft interchangeability for case adaptation, case-based reasoning research and development, 5th International Conference on Case-Based Reasoning (ICCBR 2003), Lecture Notes in Artificial Intelligence, Vol.2689, J. G. Carbonell and J. Siekmann Trondheim (Eds.) (Norway, June 23-26, 2003), pp. 347- 361.
25. M. N. Nguyen, A. I. Wang, and R. Conradi, Total software process model evolution in EPOS: Experience report, in Proceedings of the 19th international Conference on Software Engineering (ICSE'97), 1997.
26. OMG, Software Process Engineering Meta-model (SPEM) Specification. Version 2. Technical Report ptc/2008-04-101, Object Management Group (2008).
27. A. Queraltand and E. Teniente, Reasoning on UML class diagrams with OCL constraints, in D.W. Embley, A. Olive and S. Ram (Eds.) ER, Lecture Notes in Computer Science, Vol.4215 (Springer-Verlag, 2006), pp. 497-512.
28. L. Rising and N. S. Janoff, The Scrum software development process for small teams, IEEE Software 17(4) (2000) 26-32.
29. F. Ruiz, A.Vizcaíno, M. Piattini and F. García, An ontology for the management of software maintenance projects, Int. J. Software Engineering and Knowledge Engineering 14(3) (2004) 323-349.
30. M. J. O'Connor and A. K. Das, SQWRL: A query language for OWL, in Proceedings of OWL: Experiences and Directions (OWLED 2009), R. Hoekstra and P. F. Patel-Schneider (eds.) (Chantilly, VA, 2009). Available at: http://www.webont.org/ owled/2009.
31. M. A. Sicilia (ed.), Competencies in Organizational E-learning. Concepts and Tools (Idea Group Publishing, Hershey, PA, 2006).
32. M. A. Sicilia, E. Garcia-Barriocanal, S. Sanchez-Alonso and D. Rodriguez, Ontologies of engineering knowledge: General structure and the case of Software Engineering, The Knowledge Engineering Review 24(3) (2009) 309-326.
33. J. Simmonds, M. C. Bastarrica, N. Hitchfeld-Kahler and E. Rivas, A tool based on DL for UML model consistency checking, Int. J. Software Engineering and Knowledge Engineering 18(6) (2008) 713-735.
34. M. K. Smith, C. Welty and D. L. McGuinness, OWL Web Ontology Language Guide, W3C, 2004, http://www.w3.org/TR/owl-guide/
35. C. Tautz and C. G. von Wangenheim, REFSENO: A Representation Formalism for Software Engineering Ontologies, Fraunhofer Institute, IESE IESE-015.98/E (1998).
36. M. Uschold and M. Grüninger, Ontologies: Principles, methods, and applications, Knowledge Engineering Review 11(2) (1996) 93-113.
37. A. Vizcaino, F. Ruiz, M. Piattini and F. Garcia, 2004. Using REFSENO to represent knowledge in the software maintenance process, in Proceedings of the Database and Expert Systems Applications, 15th International Workshop, DEXA, IEEE Computer Society, Washington, D.C., 2004, pp. 488-493.