Proceedings:
Logic-Based Program Synthesis: State of the Art and Future Trends
Volume
Issue:
Papers from the 2002 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
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.
Spring
Papers from the 2002 AAAI Spring Symposium