{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:36:49Z","timestamp":1767638209967,"version":"3.48.0"},"reference-count":21,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1017\/s0269888909000137","type":"journal-article","created":{"date-parts":[[2009,3,24]],"date-time":"2009-03-24T04:49:13Z","timestamp":1237870153000},"page":"59-75","source":"Crossref","is-referenced-by-count":3,"title":["A semantic web environment for components"],"prefix":"10.48130","volume":"24","author":[{"given":"Hai H.","family":"Wang","sequence":"first","affiliation":[]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2009,3,1]]},"reference":[{"volume-title":"Software Architecture: Perspectives on an Emerging Discipline","year":"1996","author":"Shaw","key":"S0269888909000137_ref20"},{"key":"S0269888909000137_ref11","unstructured":"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\/"},{"key":"S0269888909000137_ref15","unstructured":"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\u2013229. Chen, X., Liu, Z. & Reed, M. (eds). UNU-IIST report no. 347."},{"key":"S0269888909000137_ref17","unstructured":"McGuinness D. L. , van Harmelen F. (eds). 2003. OWL Web Ontology Language Overview. http:\/\/www.w3.org\/TR\/2003\/PR-owl-features-20031215\/"},{"key":"S0269888909000137_ref6","doi-asserted-by":"crossref","unstructured":"Haarslev V. , M\u00f6ller R . 2001. RACER system description. In Proceedings of Automated Reasoning: First International Joint Conference, Lecture Notes in Computer Science 2083, 701\u2013706. Siena, Italy.","DOI":"10.1007\/3-540-45744-5_59"},{"key":"S0269888909000137_ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70726"},{"key":"S0269888909000137_ref16","unstructured":"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.pdf"},{"key":"S0269888909000137_ref8","unstructured":"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\/"},{"volume-title":"Proceedings of Formal Methods Europe: FME\u201902","year":"2002","author":"Dong","key":"S0269888909000137_ref2"},{"key":"S0269888909000137_ref1","unstructured":"Brickley D. , Guha R. V. (eds). 2004. Resource Description Framework (RDF) Schema Specification 1.0. http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"S0269888909000137_ref12","doi-asserted-by":"crossref","unstructured":"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\u201321. Springer-Verlag.","DOI":"10.1007\/11804192_1"},{"key":"S0269888909000137_ref9","doi-asserted-by":"crossref","unstructured":"Knublauch H. , Fergerson R. W. , Noy N. F. , Musen M. A. 2004. The Prot\u00e9g\u00e9 OWL plugin: an open development environment for Semantic Web applications. In Proceedings of the 3rd International Semantic Web Conference (ISWC 2004). Hiroshima, Japan.","DOI":"10.1007\/978-3-540-30475-3_17"},{"key":"S0269888909000137_ref3","unstructured":"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."},{"key":"S0269888909000137_ref4","unstructured":"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."},{"key":"S0269888909000137_ref5","unstructured":"Gennari J. , Musen M. A. , Fergerson R. W. , Grosso W. E. , Crub\u00e9zy M. , Eriksson H. , Noy N. F. , Tu S. W. 2002. The Evolution of Prot\u00e9g\u00e9: An Environment for Knowledge-based Systems Development. Technical report SMI-2002-0943, Stanford Medical Informatics, Stanford University."},{"key":"S0269888909000137_ref7","unstructured":"Horrocks I . n.d. Fact++ web site, http:\/\/owl.man.ac.uk\/factplusplus\/"},{"key":"S0269888909000137_ref10","unstructured":"Laboratories S. N. 1991. Jess, the Rule Engine for the Java Platform. http:\/\/herzberg.ca.sandia.gov\/jess"},{"key":"S0269888909000137_ref13","unstructured":"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\u2013106."},{"key":"S0269888909000137_ref18","doi-asserted-by":"crossref","unstructured":"Meyer B. 2003. The grand challenge of trusted components. In ICSE \u201903: Proceedings of the 25th International Conference on Software Engineering. IEEE Computer Society, 660\u2013667.","DOI":"10.1109\/ICSE.2003.1201252"},{"key":"S0269888909000137_ref19","doi-asserted-by":"crossref","first-page":"163","DOI":"10.3233\/APO-2006-016","article-title":"Towards ontologies for formalizing modularization and communication in large software systems","volume":"1","author":"Oberle","year":"2006","journal-title":"Applied Ontology"},{"volume-title":"Component Software: Beyond Object-Oriented Programming","year":"1998","author":"Szyperski","key":"S0269888909000137_ref21"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888909000137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:43:54Z","timestamp":1767624234000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888909000137\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["S0269888909000137"],"URL":"https:\/\/doi.org\/10.1017\/s0269888909000137","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}