Existing tools for generating application programming interfaces (APIs) for ontologies lack sophisticated support for mapping the logics-based concepts of the ontology to an appropriate object-oriented implementation of the API. Such a mapping has to overcome the fundamental differences between the semantics described in the ontology and the pragmatics, i.e., structure, functionalities, and beh...

The rapidly increasing complexity and quality requirements of integrated circuit design can only be addressed effectively by a design system architecture that supports very efficient, high-quality sharing of IC design data. The OpenAccess Coalition is delivering an industry standard Application Programming Interface (API) and Information Model (IM) that provides access to a shared database as a...

With the increasing provision by the ODMG standard and commercial OODBMS products for transparent access to the traditional database functionality of an OODBMS from Java, there is a need to provide Java programmers transparent access to advanced functionality such as dynamic evolution. This paper proposes a transparent API for the purpose. The API is based on a high-level object-oriented model....

UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the actions of a user; such models are then amenable to automatic analysis targetting structural usability concerns. This paper specifies UI model discovery in some detail, providing a formal, generic and language-neutral API a...

The Goal: Realising model-based tool integration. With the rise of model-driven software development, more and more development tasks are being performed on models. Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for effective software development processes. Due to lack of interoperability, however, it is often difficult to use tools in com...

With the introduction of code annotations in popular languages like Java and C#, several frameworks and platforms adopted a metadatabased API (Application Programming Interface). By using this approach, instead of extending classes, implementing interfaces or invoking configuration methods, the API demand its users to add metadata through annotations in their classes. This approach can bring se...

We propose PAC-C3D as a new software model for 3D Collaborative Virtual Environments (CVE). This model merges the results from two research fields: distribution models for CVE and HCI design for computer-supported cooperative work. PAC-C3D proposes to describe each part of a shared virtual object through explicit interfaces to ensure a strong separation between the core functions of a virtual e...

The Matchmaker Exchange application programming interface (API) allows searching a patient's genotypic or phenotypic profiles across clinical sites, for the purposes of cohort discovery and variant disease causal validation. This API can be used not only to search for matching patients, but also to match against public disease and model organism data. This public disease data enable matching kn...

In this work, we present the first automated analysis of security application programming interfaces (security APIs). In particular, we analyze the API of the IBM 4758 CCA, a hardware security module for banking networks. Adapting techniques from formal analyses of security protocols, we model the API purely according its specification and assuming ideal encryption primitives. We then use the a...