OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Component-based models are widely used for embedded systems. The models consist of components with input and output ports linked to each other. However, mismatched links or assumptions among components may cause many failures, especially for large scale models. Binding semantic knowledge into models...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2013/934349 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849306635624775680 |
|---|---|
| author | Xi Lin Hehua Zhang Ming Gu |
| author_facet | Xi Lin Hehua Zhang Ming Gu |
| author_sort | Xi Lin |
| collection | DOAJ |
| description | Component-based models are widely used for embedded systems. The models consist of components with input and output ports linked to each other. However, mismatched links or assumptions among components may cause many failures, especially for large scale models. Binding semantic knowledge into models can enable domain-specific checking and help expose modeling errors in the early stage. Ontology is known as the formalization of semantic knowledge. In this paper we propose an ontology-driven tool for static correctness checking of domain-specific errors. two kinds of important static checking, semantic type and domain-restrcted rules, are fulfilled in a unified framework. We first propose a formal way to precisely describe the checking requirements by ontology and then separately check them by a lattice-based constraint solver and a description logic reasoner. Compared with other static checking methods, the ontology-based method we proposed is model-externally configurable and thus flexible and adaptable to the changes of requirements. The case study demonstrates the effectiveness of our method. |
| format | Article |
| id | doaj-art-31d27f45993e4664a4d2ef8be415dbf1 |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-31d27f45993e4664a4d2ef8be415dbf12025-08-20T03:55:01ZengWileyJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/934349934349OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based ModelsXi Lin0Hehua Zhang1Ming Gu2School of Software, Tsinghua University, Beijing 100084, ChinaSchool of Software, Tsinghua University, Beijing 100084, ChinaSchool of Software, Tsinghua University, Beijing 100084, ChinaComponent-based models are widely used for embedded systems. The models consist of components with input and output ports linked to each other. However, mismatched links or assumptions among components may cause many failures, especially for large scale models. Binding semantic knowledge into models can enable domain-specific checking and help expose modeling errors in the early stage. Ontology is known as the formalization of semantic knowledge. In this paper we propose an ontology-driven tool for static correctness checking of domain-specific errors. two kinds of important static checking, semantic type and domain-restrcted rules, are fulfilled in a unified framework. We first propose a formal way to precisely describe the checking requirements by ontology and then separately check them by a lattice-based constraint solver and a description logic reasoner. Compared with other static checking methods, the ontology-based method we proposed is model-externally configurable and thus flexible and adaptable to the changes of requirements. The case study demonstrates the effectiveness of our method.http://dx.doi.org/10.1155/2013/934349 |
| spellingShingle | Xi Lin Hehua Zhang Ming Gu OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models Journal of Applied Mathematics |
| title | OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models |
| title_full | OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models |
| title_fullStr | OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models |
| title_full_unstemmed | OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models |
| title_short | OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models |
| title_sort | ontcheck an ontology driven static correctness checking tool for component based models |
| url | http://dx.doi.org/10.1155/2013/934349 |
| work_keys_str_mv | AT xilin ontcheckanontologydrivenstaticcorrectnesscheckingtoolforcomponentbasedmodels AT hehuazhang ontcheckanontologydrivenstaticcorrectnesscheckingtoolforcomponentbasedmodels AT minggu ontcheckanontologydrivenstaticcorrectnesscheckingtoolforcomponentbasedmodels |