Abstract
The organization of the metadata in repository systems exhibits a complex structure which is layered, multi-level and dynamically adaptable; it is insufficiently specified in existing repository system standard how to ensure structural integrity, the above two reasons lead to the violation of structural integrity frequently during the creation of the metadata structure based on Meta Object Facility(MOF), thus affect the stability of repository systems. However, structural integrity checking for repository systems based on MOF is difficult because MOF is rendered to users by graphs, which lack precise semantics. In this paper, we try to solve this problem by means of Description Logics (DLs). The approach is based on a particular formal logic of the family of Description Logics. We make a study of how to formalize the different levels of MOF architecture into the DL knowledge base and how to check inconsistencies automatically using query and reasoning mechanism provided by the Description Logic. We perform performance evaluation for structural integrity checking prototypical system implemented in terms of the approach, the results are encouraging.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernstein, P., Dayal, U.: An overview of repository technology. In: 24th International Conference on Very Large Databases, pp. 705–713. Morgan Kaufmann, San Francisco (1998)
Object Management Group: Meta Object Facility Specification Version 2.0 (2006)
Franz, B., Diego, C., Deborah, M., Daniele, N., Peter, F.P.: The description logic handbook: Theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge (2007)
University of Southern California. Loom Knowledge Representation System 4.0 (2004)
Haarslev, V., Moller, R., Wessel, M.: RacerPro User’s Guide Version 2.0 (2009)
Horrocks, I.: FaCT and iFaCT. In: International Workshop on Description Logics (DL 1999), pp. 133–135 (1999)
Albertini, B., Rigo, S., Araujo, G., Araujo, C., Barros, E., Azevedo, W.: A computational reflection mechanism to support platform debugging in SystemC. In: 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis (CODES+ISSS 2007), pp. 81–86. ACM Press, New York (2007)
Eisenberg, A.D., Kiczales, G.: A simple edit-time metaobject protocol: controlling the display of metadata in programs. In: 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA 2006), pp. 696–697. ACM Press, New York (2006)
Pirkelbauer, P., Solodkyy, Y., Stroustrup, B.: Open Multi-methods for C++. In: 6th International Conference on Generative Programming and Component Engineering, pp. 123–134. ACM Press, New York (2007)
Ishikawa, Y., Hori, A., Sato, M., Matsuda, M., Nolte, J., Tezuka, H., Konaka, H., Maeda, M., Kubota, K.: Design and Implementation of Metalevel Architecture in C++, MPC++ Approach. In: 1996 International Conference on Reflection, pp. 141–154 (1996)
Bingham, E., Kuusisto, J., Lagus, K.: ICA and SOM in text document analysis. In: 25th annual international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2002), pp. 361–362. ACM Press, New York (2002)
Coulson, G., Blair, G., Grace, P.: On the performance of reflective systems software. In: 2004 IEEE International Conference on Performance, Computing, and Communications, pp. 763–769. IEEE Press, New York (2004)
Petrov, I., Jablonski, S., Holze, M., Nemes, G., Schneider, M.: iRM: An OMG MOF Based Repository System with Querying Capabilities. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 850–851. Springer, Heidelberg (2004)
Black, A.P., Schärli, N., Ducasse, S.: Applying traits to the smalltalk collection classes. In: 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications (OOPSLA 2003), pp. 47–64. ACM Press, New York (2003)
Liau, C.-J.: A modal logic framework for multi-agent belief fusion. J. ACM Transactions on Computational Logic (TOCL) 6(1), 124–174 (2005)
Halpern, J.Y., Weissman, V.: Using First-Order Logic to Reason about Policies. J. ACM Transactions on Information and System Security (TISSEC)Â 11(4) (2008)
Emmerich, W., Finkelstein, A., Antonelli, S., Armitage, S., Stevens, R.: Managing standards compliance. J. IEEE Transactions on Software Engineering 25(6), 836–851 (1999)
Simmonds, J.: Consistency maintenance of uml models with description logic. Master’s thesis, Vrije Universiteit Brussel, Brussel (2003)
Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: 17th International Joint Conference on Artificial Intelligence (IJCAI 2001) (2001)
Calvanese, D., De Giacomo, G.: Expressive description logics. In: The Description Logic Handbook: Theory, Implementation and Applications, pp. 178–218. Cambridge University Press, Cambridge (2003)
Baader, F., Lutz, C.: Description Logic. In: The Handbook of Modal Logic, pp. 757–820. Elsevier, Amsterdam (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, X., Huang, Z. (2010). Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics. In: Yoshikawa, M., Meng, X., Yumoto, T., Ma, Q., Sun, L., Watanabe, C. (eds) Database Systems for Advanced Applications. DASFAA 2010. Lecture Notes in Computer Science, vol 6193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14589-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-14589-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14588-9
Online ISBN: 978-3-642-14589-6
eBook Packages: Computer ScienceComputer Science (R0)