Logical Foundations of Services

In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, and how properties of interaction-points, i.e. points through which such networks connect to one another, can be expressed. We formalise the resulting logic as a parameterised institution, which promotes the development of both declarative and operational semantics of services in a heterogeneous setting by means of logic-programming concepts

A Foundational View on Integration Problems

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration

Service-oriented logic programming

We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that formalize the discovery and binding of services to given client applications by means of logical representations of required and provided services. We show how the denotational and the operational semantics specific to conventional logic programming can be generalized using the theory of institutions to address both static and dynamic aspects of service-oriented computing. Our results rely upon a strong analogy between the discovery of a service that can be bound to an application and the search for a clause that can be used for computing an answer to a query; they explore the manner in which requests for external services can be described as service queries, and explain how the computation of their answers can be performed through service-oriented derivatives of unification and resolution, which characterize the binding of services and the reconfiguration of applications

Organising the knowledge space for software components

Software development has become a distributed, collaborative process based on the assembly of off-the-shelf and purpose-built components. The selection of software components from component repositories and the development of components for these repositories requires an accessible information infrastructure that allows the description and comparison of these components. General knowledge relating to software development is equally important in this context as knowledge concerning the application domain of the software. Both form two pillars on which the structural and behavioural properties of software components can be addressed. Form, effect, and intention are the essential aspects of process-based knowledge representation with behaviour as a primary property. We investigate how this information space for software components can be organised in order to facilitate the required taxonomy, thesaurus, conceptual model, and logical framework functions. Focal point is an axiomatised ontology that, in addition to the usual static view on knowledge, also intrinsically addresses the dynamics, i.e. the behaviour of software. Modal logics are central here – providing a bridge between classical (static) knowledge representation approaches and behaviour and process description and classification. We relate our discussion to the Web context, looking at Web services as components and the Semantic Web as the knowledge representation framewor

Towards MKM in the Large: Modular Representation and Scalable Software Architecture

MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDoc version; and TNTBase, a versioned storage system for XML-based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT.Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 201

Developing a dominant logic of strategic innovation

Purpose: This paper aims to lay the foundations to develop a dominant logic and a common thematic framework of strategic innovation (SI) and to encourage consensus over the field’s core foundation of main themes. Design/methodology/approach: The paper explores the intersection between the constituent fields of strategic management and innovation management through a concept mapping process. The paper categorizes the main themes and search for common ground in order to develop the core thematic framework of SI. The paper looks at the sub-themes of SI in published research and develops a more detailed framework. The conceptual categories derived from the process are then placed in a logical sequence according to how they occur in practice or in the order of how the concepts develop from one other. Findings: The results yield seven main themes that form the main taxonomy of SI: types of SI, environmental analysis of SI, SI planning, enabling SI, collaborative networks, managing knowledge, and strategic outcomes. Research limitations/implications: The new thematic framework the paper is proposing for SI remains preliminary in nature and would need to be tried and tested by researchers and practitioners in order to gain acceptability. Academic rigor and methodological structure are not sufficient to determine whether our conceptual framework will become widely diffused in academia and industry. It would have to pass through an emergent, evolutionary process of selection, adoption and an inevitable degree of change and adaptation, just like any other innovation. Practical implications: The practical implications concern the production of instructive material and the application of strategic management initiatives in industry. The proposed themes and sub-themes can serve as a logical framework to develop and update publications, which have been instrumental in their own right to shape the field. The paper also provides a checklist of potential research projects in SI, which will improve and strengthen the field. The new framework provides a comprehensive checklist of strategic management initiatives that will help industry to initiate, plan and execute effective innovation strategies. Originality/value: The concept mapping of the themes of SI yields a new dominant logic, which will influence the evolution of the field and its relevance to both academia and industry

The MMT API: A Generic MKM System

The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM services easy to implement. It is foundationally unconstrained and can be instantiated with specific formal languages. The MMT API implements the MMT language along with multiple backends for persistent storage and frontends for machine and user access. Moreover, it implements a wide variety of MMT-based knowledge management services. The API and all services are generic and can be applied to any language represented in MMT. A plugin interface permits injecting syntactic and semantic idiosyncrasies of individual formal languages.Comment: Conferences on Intelligent Computer Mathematics (CICM) 2013 The final publication is available at http://link.springer.com

A semantical framework for the orchestration and choreography of web services

Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to services processes that communicate and interact with each other. We propose an ontology framework for these Web service processes that provides techniques for their description, matching, and composition. A description logic-based knowledge representation and reasoning framework provides the foundations. We will base this ontological framework on an operational model of service process behaviour and composition