摘要 |
A device (D) is intended for building compilable and executable applications (AP) from high-level representations of classes, each class storing data and/or implementing at least one public function and/or being able to activate at least one chosen public function of at least one other class. This device (D) comprises a generation means (GM) arranged i) for producing "new" class representations in a chosen programming language from formal representations of specification classes expressing a specification (AS) describing an application (AP) to be built, each class formal representation being written in a high-level symbolic language comprising a class declaration, a data declaration, a function declaration, and a restricted group of instruction types chosen among four basic types comprising respectively instructions for accessing a chosen stored data of a chosen class, instructions for computing a chosen data from a chosen operator and possibly from some given input parameter(s), instructions for testing if a chosen class data satisfies to a chosen condition, and instructions for generating an activation of a chosen public function of any class possibly with at least one chosen data parameter, and ii) for assembling these new class representations to build a compilable and executable application (AP) corresponding to the specification (AS).
|