Ontologies in checking for inconsistency of requirements specification

3rd International Conference on Advances in Semantic Processing - SEMAPRO 2009

Volumn , Issue , 2009, Pages 32-37

  Kroha, P ^a   Janetzko, R ^a   Labra, J E ^b  

^a CHEMNITZ UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF OVIEDO   (Spain)

Author keywords

Checking; Consistency; Ontology; Reasoning; Requirements

Indexed keywords

BEHAVIORAL CONSISTENCY; CHECKING; DOMAIN KNOWLEDGE; DOMAIN ONTOLOGIES; REQUIREMENTS SPECIFICATIONS; SEMANTIC WEB TECHNOLOGY; SOFTWARE COMPANY; UML MODEL;

COMPUTER CRIME; SEMANTIC WEB; SEMANTICS; SPECIFICATIONS;

ONTOLOGY;

EID: 74349112761     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEMAPRO.2009.11     Document Type: Conference Paper

References (34)

1. B. Boehm and H. In, "Identifying quality requirements conflicts," IEEE Software, pp. 25-35, March 1996.
2. CHAOS Report. The Standish Group, 1995. http://www.projectsmart.co.uk/ docs/chaos-report.pdf.
3. L.L. Christopherson, "Use of an ontology-based note-taking tool to improve communication between analysts and their clients," A Masters Paper for the M.S. in I.S.degree, University of North Carolina, November, 2005.
4. S. Easterbrook and B. Nuseibeh, "Using ViewPoints for Inconsistency Management," IEEE Software Engineering Journal, November 1995.
5. S. Easterbrook, J. Callahan, and V. Wiels, "V & V Through Inconsistency Tracking and Analysis," Proceedings of International Workshop on Software Specification and Design, Kyoto, 1998.
6. H. Eriksson, "Using JessTab to integrate Protege and Jess," Intelligent Systems, Volume 18, Issue 2, pp. 43-50, IEEE Mar- Apr 2003.
7. K. Falkovych, "Ontology Extraction from UML Diagrams," Master's thesis, Vrije Universiteit Amsterdam, 2002.
8. D. Gasevic, D. Djurevic, and V. Devedzic, "Model Driven Architecture and Ontology Development," Springer, 2006.
9. C.L. Heitmeyer, R.D. Jeffords, and B.G. Labaw: "Automated COnsistency Checking of Requirements Specifications," ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, pp. 231-261, July 1996.
10. G. Hillairet, "ATL Use Case - ODM Implementation (Bridging UML and OWL)," http://www.eclipse.org/m2m/atl/usecases/ODMImplementation.
11. M. Horridge, H. Knublauch, A. Rector, R. Stevens, and C. Wroe, "A Practical Guide to Building OWL Ontologies - Using the Protege-OWL Plugin and CO-ODE Tools," Edition 1.0., http://protege.stanford.edu/doc/users.html.
12. A. Hunter and B. Nuseibeh, "Managing Inconsistent Specifications: Reasoning, Analysis and Action," ACM Transactions on Software Engineering and Methodology, Vol. 7, No. 4, pp. 335-367, 1998.
13. R. Janetzko, "Applying ontology for checking of requirements specification," M.Sc. Thesis, Faculty of COmputer Science, TU Chemnitz, 2009. (In German).
14. E. Friedman-Hill, "Jess in Action - Rule-based Systems in Java," Manning, Greenwich, 2003.
15. D. Jiang, S. Zhang, and Y. Wang, "Towards a formalized ontology-based requirements model," Journal of Shanghai Jiao-tong University (Science), 10(1), pp. 34-39, 2005.
16. Z. Jin, "Ontology-Based Requirements Elicitation," Journal of Computers, 23(5), pp. 486-492, 2003.
17. F. Jouault, F. Allilaire, J. Bezivin, and I. Kurtev, "ATL: A model transformation tool," Science of Computer Programming, Vol. 72, No. 1-2. pp. 31-39, June 2008.
18. H. Kaiya and M. Saeki, "Using domain ontology as Domain Knowledge for Requirements Elicitation," Proceedings of 14th IEEE International Requirements Engineering Conference, Minnesota, pp. 186-195, 2006.
19. S. Kremer-Davidson and Y. Shaham-Gafnil, "UML 2.0 Model Consistency - The Rule of Explicit and Implicit Usage Dependencies," UML 2004 Modeling Languages and Applications, 3rd Workshop on Consistency Problems in UML-based Software Development: Understanding and Usage of Dependency Relationships, Lisboa, 2004.
20. P. Kroha and M. Strauss, "Requirements Specification Iteratively Combined with Reverse Engineering," SOFSEM'97: Theory and Practice of Informatics. Milovy, November 1997, Lecture Notes in Computer Science, No. 1338, Springer, 1997.
21. P. Kroha, "Preprocessing of Requirements Specification," Proceedings of the 11th International Conference Database and Expert Systems Applications DEXA 2000, London, Lecture Notes in Computer Science, No. 1873, Springer, 2000.
22. P. Kroha and J. Labra, "Using Semantic Web Technology in Requirements Specifications," Research Report Chemnitzer Informatik Berichte CSR-08-02, ISSN 0947-5125, TU Chemnitz, 2008.
23. P. Kroha and M. Rink, "Text Generation for Requirements Validation," Proceedings of ICEIS'2009, Milano, Lecture Notes in Business Information Systems 24, pp. 467-478, Springer, 2009.
24. X. Li, Z. Liu, and J. He, "Consistency checking of UML requirements," Proceedings of the 10th IEEE International Conference on Engineering of COmplex Computer Systems ICECC, 2005.
25. Z. Li, Z. Wang, A. Zhang, and Y. Xu, "The Domain Ontology and Domain Rules Based Requirements Model Checking," International Journal of Software Engineering and Its Applications, Vol. 1, No. 1, July, 2007.
26. B. Nuseibeh, S. Easterbrook, and A. Russo, "Leveraging Inconsistency in Software Development," IEEE Computer, April 2000.
27. http://pellet.owldl.com.
28. http://protege.stanford.edu/overview/index.html.
29. W. Robinson and S. Fickas, "Supporting Multiple Perspective Requirements Engineering," Proceedings of the 1st International Conference on Requirements Engineering (ICRE 94), IEEE Computer Society Press, pp.206-215, 1994.
30. G. Spanoudakis and A. Zisman, "Inconsistency Management in Software Engineering: Survey and Open Research Issues," Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Co., pp. 329-380, 2001.
31. Y. Thierry-Mieg and L. Hilla, "UML behavioral consistency checking using instatiable Petri nets," Journal Innovations in Systems and Software Engineering, Springer, Vol. 4, No. 3, 2008.
32. http://www.omg.org/spec/UML/2.0/.
33. M. Uschold, M. King, S. Moralee and Y. Zorgios: "The Enterprise Ontology," Knowledge Engineering Review, 13(1), pp. 31-89, 1998.
34. X. Zhu and J. Zhi, "Inconsistency Measurement of Software Requirements Specifications an Ontology-Based Approach," Proceedings of the 10th IEEE International Conference on engineering of Complex Computer Systems, 2005.