Description Logic을 이용한 전자카타로그 온톨로지 모델링

An approach of representing OMG's Software Process Engineering Metamodel (SPEM) in Description Logic (DL) is provided in this paper, and an example of using it to represent and reason on a concrete software process model -a portion of DMR Macroscope is presented, too. This approach is built on two mappings. One is a mapping from Meta-Object Facility (MOF) to DL and the other is a mapping from Object Constraint Language (OCL) to DL. Using these two mappings, OMG's SPEM consisted of a metamodel that is an MOF extension and constraints represented in OCL can be mapped to a representation in DL. Thus, software process models based on SPEM can be represented in DL, and process analysis and manipulation techniques, such as reasoning, consistency checks can benefit from DL techniques. Keywords—Software Process Engineering Metamodel, Description Logics, Meta-Object Facility, Object Constraint Language

[1]  M. Itakura,et al.  SDEM90: a framework for system development activities and responsibilities , 1992, Proceedings of the Second International Conference on Systems Integration.

[2]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .