CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
The overall architecture of the semantically interoperable information systems design environment has been defined over the collection of models including ontological model, requirement planning/analysis model, design model, implementation model, information resource specification model. One and the same canonical semi-formal object model has been defined to be used for different architecture layers. To give the canonical model exact meaning, a mapping of this object model into the formal Abstract Machine Notation providing precise meaning for the language has been constructed. Thus, the semi-formal object model and its formal counterpart is achieved that can be used together as a common paradigm for uniform specifications of pre-existing components and for different modelling tasks used on various phases of the information systems development. Unified Modelling Language (UML) has been chosen as a graphical notation for all phases of the process of development. We supply this notation with a clean object semantics given by the canonical object model.
The architectural framework for SYNTHESIS is designed so that the SYNTHESIS method itself could be neutral to existing Object Analysis and Design (OAD) methods. Forward and Backward phases of the methods have been augmented with specific SYNTHESIS facilities, such as ontological specifications needed to resolve contextual differences with the pre-existing resources and complete specifications of types in the canonical object model possessing a possibility to justify reuse on the basis of formal specification and proof facilities.
A method and a process for the semantically inoperable systems design has been developed. A model of composite objects integrating data and behaviour from various sources was applied. The data and/or behaviour residing at each source are regarded as fragments of the composite object. Type reducts as the basic patterns of reuse were considered. Type specifications were decomposed into a collection of reducts that can serve as units of reuse and composition. Thus types of the resource fragments were specified as reducts of the required type and provide their composition in a bottom up fashion. Federated composite objects are created by integration of such fragments using views above original resource type definitions.
Type refinement is identified in the project as the fundamental property that is required to justify a correctness of substitution of fragments of one type for another so that pre-existing objects state and behaviour can be reused. An approach for discovery of suitable reducts of resource types refining reducts of analysis model types to form a design type refining the required type has been developed.
Method for integration of ontologies of the specification of requirements and of an information resource has been developed. In process of the integration, coherence and interrelationship of concepts defined on different levels is established. The integrated ontological specification provides necessary basis for search of the information resource type (class) specifications and their components suitable for the concretisation of application type (class).
The SYNTHESIS design procedure has been structured as an autonomous phase. The metamodel to represent SYNTHESIS entities in the metabase supporting this specific phase has been defined. The implementation phase of the method has been specifically designed to be used in the CORBA-based environment. The prototype of the design and implementation phases of the method has been developed.
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available