M. Frappier, B. Fraikin, M. Richard, and R. Laleau
The objective of the APIS research project is to generates executable information systems directly from abstract specifications. It uses the EB3 language, which has been developed for specifying information systems; it is formal, object-oriented, process algebra based, and executable. EB3 specifications will be efficiently interpreted using the operational semantics of the process algebra. The interpreter handles nondeterminacy and quantification over a set of values for some concurrency operators in order to streamline the specification of large systems. A basic graphical user interface is generated from the EB3 specification, which enables quick prototyping and specification validation with the users. User data will be stored in a relational database, in order to reuse COTS software for database inquiry. Database update is controlled by the interpreter based on the formal, trace-based definition of entity attributes.