%0 Conference Paper %1 wang_ontology_2006 %A Wang, Shengjun %A Jin, Longfei %A Jin, Chengzhi %B 2006 10th International Conference on Computer Supported Cooperative Work in Design %C Nanjing, China %D 2006 %K checking; consistency language; model ontology-based verification; {MOF}; {OWL}; {UML} %P 1--5 %R 10.1109/CSCWD.2006.253005 %T Ontology Definition Metamodel based Consistency Checking of UML Models %U http://0-ieeexplore.ieee.org.innopac.up.ac.za/xpl/downloadCitations

@inproceedings{wang_ontology_2006, added-at = {2013-02-28T11:13:35.000+0100}, address = {Nanjing, China}, author = {Wang, Shengjun and Jin, Longfei and Jin, Chengzhi}, biburl = {https://www.bibsonomy.org/bibtex/25e88c1e57df395dab3f5a542f334dfd5/fritzsolms}, booktitle = {{2006 10th International Conference on Computer Supported Cooperative Work in Design}}, doi = {10.1109/CSCWD.2006.253005}, interhash = {de4dad5db7076308afea23fc9b32c795}, intrahash = {5e88c1e57df395dab3f5a542f334dfd5}, keywords = {checking; consistency language; model ontology-based verification; {MOF}; {OWL}; {UML}}, lccn = {0000}, month = may, pages = {1--5}, review = {{SUMMARY} {(Fritz)} - Tranform {UML} to {OWL} models and use logical reasoning for consistency checking. - Nice diagram showing {UML} vs {DSL} based {MDA} - Stress that {UML} models often inconsistent and incomplete. Hence claim that management of both, syntactic and semantic consistency is key for {UML} modeling.}, timestamp = {2013-02-28T11:14:10.000+0100}, title = {{Ontology Definition Metamodel based Consistency Checking of {UML} Models}}, url = {http://0-ieeexplore.ieee.org.innopac.up.ac.za/xpl/downloadCitations}, year = 2006 }