An Approach of Ontology Oriented SPEM Models Validation

Miroslav Líška

2009

Abstract

SPEM 2.0 is used to define software and systems development processes and their components. It separates reusable development knowledge base from its application in processes. In this work we present a knowledge oriented approach that supports design of SPEM models with respect of SPEM architecture. The main idea is based on creation three ontologies that are a SPEM ontology, a development knowledge ontology and an ontology of development knowledge application. Ontologies are generated with XSL transformations from UML models and also from SPEM CMOF specification and they are imported into the Protégé for reasoning purposes. At the conclusion paper discusses a future work to increase contributions of this approach.

References

  1. Smith, M.K., Welty, Ch., McGuinness, D.L.: OWL Web Ontology Language Guide. W3C Recommendation, (2004)
  2. OMG: Software and Systems Process Engineering Metamodel. formal/2008-04-01, (2008)
  3. Manola, F., Miller, E.: RDF Primer. W3C Recommendation, (2004)
  4. OMG: UML Superstructure. ptc/2008-05-05, (2008)
  5. Cranefield, S.: Networked Knowledge Representation and Exchange using UML and RDF. Journal of Digital Information, Volume 1 Issue 8, (2001)
  6. OMG: OWL Full and UML 2.0 Compared. www.omg.org
  7. Pan, J., Horrocks, I.: Metamodeling Architecture of Web Ontology Languages, In Proceedings of the First Semantic Web Working Symposium, Stanford, (2001)
  8. OMG: Ontology Definition Metamodel 1.0. ptc/2008-09-07 (Beta 3), (2008)
  9. Gaševic, D., Djuric, D., Devedžic, V.: MDA and Ontology Development. Springer, Berlin, (2006)
  10. OMG: UML Infrastructure. ptc/2008-05-04, (2008)
  11. Rector, P., Drummond, N., Horridge, M., Wang, H., Dameron, O.: Advanced Reasoning with OWL. In 9th International Protégé Conference, Stanford, (2006)
Download


Paper Citation


in Harvard Style

Líška M. (2009). An Approach of Ontology Oriented SPEM Models Validation . In Proceedings of the 1st International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2009) ISBN 978-989-8111-95-1, pages 40-43. DOI: 10.5220/0002176000400043


in Bibtex Style

@conference{ftmdd09,
author={Miroslav Líška},
title={An Approach of Ontology Oriented SPEM Models Validation},
booktitle={Proceedings of the 1st International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2009)},
year={2009},
pages={40-43},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002176000400043},
isbn={978-989-8111-95-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2009)
TI - An Approach of Ontology Oriented SPEM Models Validation
SN - 978-989-8111-95-1
AU - Líška M.
PY - 2009
SP - 40
EP - 43
DO - 10.5220/0002176000400043