Edward A. Lee, October 12, 2003, invited talk at NEXT TTA Workshop on the Specification of Linking Interfaces, Philadelphia, PA.
The classical specification formalism involving pre- and postconditions expressed in program variables cannot directly be applied to the specification of classes, interfaces, components, and design patterns, since the program variables involved are mostly invisible outside of (dynamically selected) implementation code.
HLA is specified in three documents: the first deals with the general framework and main rules [2], the second deals with the specification of the interface between the simulator and the HLA [25] and the third is the model for data specification (OMT) transferred between the simulators [26].
This paper also provides results for synthesizing supervisors in the multi-level architecture that are locally maximally permissive with respect to a given specification and set of interfaces.
In this dissertation, I present a new methodology for the abstract specification of digital circuit interfaces.
However, there is not yet any finalized openEHR specification of a service interface to aid application developers in creating, accessing, and storing the EHR content.
All in all, the specification of Model-Based User Interfaces fits very well to both paradigms.
These approaches deal with the specification of general purpose user interfaces and interaction and they are agnostic with respect to the technical platform or technology.
After studying the interoperability of many stores, we propose an interface prototype, which has the minimum conversion cost to the interfaces of other stores, as a reference to the interface specification of key-value store.
New issues appeared during these projects: standardization of interfaces and specifications, and mainly, the difficulty of proving safety for GNSS-based solutions for certification.
