Layered Ontological Modelling for Web Service-Oriented Model-Driven Architecture

Modelling is recognised as an essential activity in the architectural design of software systems. Model-driven architecture (MDA) is a framework implementing this idea. Ontologies are knowledge representation frameworks that are ideally suited to support modelling in this endeavour. We propose here a layered ontological framework that addresses domain modelling, architectural modelling, and interoperability aspects in the development of service-based software systems. We illustrate the benefits of ontological modelling and reasoning for service-oriented software architectures within the context of the Web Services.

[1]  Claus Pahl,et al.  An ontology for software component matching , 2003, International Journal on Software Tools for Technology Transfer.

[2]  Joseph Williams,et al.  Building a Loosely Coupled Infrastructure for Web Services , 2003, ICWS.

[3]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[5]  Zohar Manna,et al.  Logics of Programs , 1981, Lecture Notes in Computer Science.

[6]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[7]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[8]  Terry R. Payne,et al.  Guest Editors' Introduction: Semantic Web Services , 2004, IEEE Intell. Syst..

[9]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[10]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[11]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[12]  Dudley Gill,et al.  Web Services Framework , 2002 .

[13]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[14]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[15]  Christopher Peltz.  Web Service orchestration and choreography: a look at WSCI and BPEL4WS-Feature , 2003 .

[16]  Munindar P. Singh,et al.  Protocol-based business process modeling and enactment , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[17]  Claus Pahl,et al.  Ontology support for web service processes , 2003, ESEC/FSE-11.

[18]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[19]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[20]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[21]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[22]  Sheila A. McIlraith,et al.  Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.

[23]  Dragan Djuric,et al.  MDA-based ontology infrastructure , 2004, Comput. Sci. Inf. Syst..

[24]  Dieter Fensel,et al.  A Conceptual Comparison of WSMO and OWL-S , 2004, ECOWS.

[25]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[26]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[27]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[28]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[29]  Eric. Newcomer,et al.  Understanding SOA with Web Services , 2004 .

[30]  Claus Pahl,et al.  Ontology Transformation and Reasoning for Model-Driven Architecture , 2005, OTM Conferences.

[31]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.