Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-26T20:51:59.836Z Has data issue: false hasContentIssue false

A semantic web environment for components

Published online by Cambridge University Press:  01 March 2009

Hai H. Wang
Affiliation:
School of Engineering and Applied Science, Aston University, United Kingdom; e-mail: [email protected]
Jing Sun
Affiliation:
Department of Computer Science, The University of Auckland, Auckland, New Zealand; e-mail: [email protected]

Abstract

Component-based development (CBD) has become an important emerging topic in the software engineering field. It promises long-sought-after benefits such as increased software reuse, reduced development time to market and, hence, reduced software production cost. Despite the huge potential, the lack of reasoning support and development environment of component modeling and verification may hinder its development. Methods and tools that can support component model analysis are highly appreciated by industry. Such a tool support should be fully automated as well as efficient. At the same time, the reasoning tool should scale up well as it may need to handle hundreds or even thousands of components that a modern software system may have. Furthermore, a distributed environment that can effectively manage and compose components is also desirable. In this paper, we present an approach to the modeling and verification of a newly proposed component model using Semantic Web languages and their reasoning tools. We use the Web Ontology Language and the Semantic Web Rule Language to precisely capture the inter-relationships and constraints among the entities in a component model. Semantic Web reasoning tools are deployed to perform automated analysis support of the component models. Moreover, we also proposed a service-oriented architecture (SOA)-based semantic web environment for CBD. The adoption of Semantic Web services and SOA make our component environment more reusable, scalable, dynamic and adaptive.

Type
Article
Copyright
Copyright © Cambridge University Press 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Brickley, D., Guha, R. V. (eds). 2004. Resource Description Framework (RDF) Schema Specification 1.0. http://www.w3.org/TR/rdf-schema/Google Scholar
Dong, J. S., Sun, J.Wang, H. 2002. Semantic web for extending and linking formalisms. In Proceedings of Formal Methods Europe: FME’02, Eriksson, L.-H. & Lindsay, P. A. (eds). Springer-Verlag.Google Scholar
Drummond, N., Rector, A. L., Stevens, R., Moulton, G., Horridge, M., Wang, H., Seidenberg, J. 2006. Putting OWL in Order: Patterns for Sequences in OWL, in 2nd OWL Experiences and Directions Workshop, Athens, GA.Google Scholar
Evren Sirin, B. P. 2004. Pellet: An owl dl reasoner. In Proceedings of the International Workshop on Description Logics (DL2004), Volker Haaslev, R. M. (ed.). Whistler, Canada.Google Scholar
Gennari, J., Musen, M. A., Fergerson, R. W., Grosso, W. E., Crubézy, M., Eriksson, H., Noy, N. F., Tu, S. W. 2002. The Evolution of Protégé: An Environment for Knowledge-based Systems Development. Technical report SMI-2002-0943, Stanford Medical Informatics, Stanford University.Google Scholar
Haarslev, V., Möller, R. 2001. RACER system description. In Proceedings of Automated Reasoning: First International Joint Conference, Lecture Notes in Computer Science 2083, 701–706. Siena, Italy.CrossRefGoogle Scholar
Horrocks, I. n.d. Fact++ web site, http://owl.man.ac.uk/factplusplus/Google Scholar
Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B.Dean, M. 2003. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. http://www.daml.org/2003/11/swrl/Google Scholar
Knublauch, H., Fergerson, R. W., Noy, N. F., Musen, M. A. 2004. The Protégé OWL plugin: an open development environment for Semantic Web applications. In Proceedings of the 3rd International Semantic Web Conference (ISWC 2004). Hiroshima, Japan.CrossRefGoogle Scholar
Laboratories, S. N. 1991. Jess, the Rule Engine for the Java Platform. http://herzberg.ca.sandia.gov/jessGoogle Scholar
Lassila, O. (eds), R. R. S. 1999. Resource Description Framework (RDF) Model and Syntax Specification. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/Google Scholar
Lau, K.-K.Wang, Z. 2007. Software component models. IEEE Transactions on Software Engineering 33(10), 709724.CrossRefGoogle Scholar
Lau, K.-K., Velasco Elizondo, P.Wang, Z. 2005. Exogenous connectors for software components. In Proceedings of 8th International SIGSOFT Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 3489, 90–106.Google Scholar
Lau, K.-K., Ornaghi, M., Wang, Z. 2006a. A software component model and its preliminary formalisation. In Proceedings of 4th International Symposium on Formal Methods for Components and Objects, de Boer, F. et al. (eds), Lecture Notes in Computer Science 4111, 1–21. Springer-Verlag.CrossRefGoogle Scholar
Lau, K.-K., Wang, Z., Wang, A., Gu, M. 2006b. A component-based approach to verified software: what, why, how and what next? In Proceedings of 1st Asian Working Conference on Verified Software, 225–229. Chen, X., Liu, Z. & Reed, M. (eds). UNU-IIST report no. 347.Google Scholar
Marinova, Z., Amardeilh, F., Georgiev, K., Francart, T. 2008. Transitioning Applications to Ontologies: User Tools. Technical report D3.4, TAO Project Deliverable. http://www.tao-project.eu/resources/publicdeliverables/d3-4-1-final.pdfGoogle Scholar
McGuinness, D. L., van Harmelen, F. (eds). 2003. OWL Web Ontology Language Overview. http://www.w3.org/TR/2003/PR-owl-features-20031215/Google Scholar
Meyer, B. 2003. The grand challenge of trusted components. In ICSE ’03: Proceedings of the 25th International Conference on Software Engineering. IEEE Computer Society, 660–667.Google Scholar
Oberle, D., Lamparter, S., Grimm, S., Vrandecic, D., Staab, S.Gangemi, A. 2006. Towards ontologies for formalizing modularization and communication in large software systems. Applied Ontology 1(2), 163202.Google Scholar
Shaw, M.Garlan, D. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall.Google Scholar
Szyperski, C. 1998. Component Software: Beyond Object-Oriented Programming. Addison-Wesley.Google Scholar