Chichen-Itza II: A semantic framework for verification and learning of pipes and filters architectural pattern Conference Paper uri icon


  • In software engineering, verification of architectural designs is a task that requires a very high level of abstraction. In companies, verification techniques for architectural designs are difficult to integrate into the standard software development process because it requires specialized expertise in an application domain. This paper describes a semantic framework for verifying models and how it is used for learning of Pipes and Filters Architectural Patterns (PFAP). Elements of this architecture are seen as software components which are assembled among them and each assembling implies a contract. Each contract is verified using semantic web technologies based on the rules of PFAP. We show an example of the verification of Voice over an IP model using an extended and new version of the prototype called Chichen-Itza II to show the feasibility of our approach. Copyright © 2016 for this paper by its authors.

publication date

  • 2016-01-01