{'fraction_non_alphanumeric': 0.026687598116169546, 'fraction_numerical': 0.0, 'mean_word_length': 5.746031746031746, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Verifying the Behavioral Contracts among Components by means of Semantic Web Techniques

Verification and validation of Component-Based systems are important tasks to do during the whole component lifecycle. In companies, verification techniques for component matching are difficult to integrate into the standard software development process because these can be time-consuming, error-prone, and require specialized expertise. In this paper we describe a semantic web framework for verifying behavioral contracts: invariants, preand post-conditions. In addition, we use the CORBA-IDL vocabulary with semantics for this purpose. Our approach relies on a core ontology of software components and SPARQL queries. The ontology captures the concepts, properties, relationships, requirements, and software component functionality. This is encoded using OWL DL, supported by the Pellet reasoner for checking the ontology component consistency. The Resource Description Framework (RDF) triples (describing components content in the form of subject-predicate-object expressions) are queried using SPARQL, in order to complement the matching verification process. We use case example and a prototype (a semantic framework called Chichen Itza) to show the feasibility of our approach.