[Text Only] Baton Rouge, Louisiana | [LSU Online]

Home

Research

Recent Publications

People

Latest News

Contact Us


SELAB :: Group Members :: Allyson Hoss

Publications:
A. Hoss, D. Carver, J. Burris, “Ontology-Based Error Detection in Software Design: A Case Study”, Proc. 10th IASTED International Conference on Software Engineering and Applications, SEA 2006, Dallas, TX, Nov. 2006

A. Hoss, Ontology-Based methodology for error detection in software design, Ph.D. Dissertation, Louisiana State University, Baton Rouge, LA, 2006.

A. Hoss and D. Carver, Ontological approach to improving design quality, Proc. IEEE Aerospace Conference, Big Sky, MT, 2006.


Overview of topic:
Improving the quality of a software design with the goal of producing a high quality software product continues to grow in importance due to the costs that result from poorly designed software. It is commonly accepted that multiple design views are required in order to clearly specify the required functionality of software. There is universal agreement as to the importance of identifying inconsistencies early in the software design process, but the challenge is how to reconcile the representations of the diverse views to ensure consistency. To address this problem of inconsistencies that occur across multiple design views, this research introduces the Methodology for Ontology-Based Detection of Errors in Software Design (MODED). MODED utilizes a new ontology, the Ontology for Software Specification and Design (OSSD), as a common information model to integrate specification knowledge and design knowledge with the end goal of detecting errors in a design. The OSSD model is a hierarchical decomposition of software development concepts, including ontological constructs of objects, attributes, behavior, relations, states, transitions, goals, constraints, and plans. Recognizing the growing importance of agent-oriented approaches to software development, the OSSD Model combines both agent-oriented and object-oriented concepts. MODED includes a consistency checking process that defines a consistency framework and an Inter-View Inconsistency Detection technique. MODED enhances software design quality by integrating multiple software design views, integrating object-oriented and agent-oriented concepts, and defining an error detection method that associates rules with ontological properties.
""   Software Engineering Laboratory | Coates Hall 162 | Louisiana State University | Baton Rouge, LA 70808


LSU Home   ""