 |
|
Related Communities:
|
 |
|
 |
A Declarative Framework for Capturing Dynamic Behaviour in Heterogeneous Interoperable Information Resource Environment.
| Author(s): | Kalinichenko L.A. |
| Created: | 1993/04/01 |
| Published: | Proc. of the Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems RIDE-IMS '93. -- IEEE-CS, 1993. -- P. 249--252. |
| Abstract: | |
| Object-oriented, multisorted logic and Petri nets - based framework suitable for the specification of the dynamic behaviour of the heterogeneous interoperable information resource environment (HIRE) is proposed. Three aspects of the HIRE dynamics are encompassed: 1) Specification of application (long-running) multiactivities over information resources including the interdependent subactivities executed in the concurrent and unreliable environment; 2) The multiresource constraint support for the HIRE as a dynamic system involving specification and enforcement of consistency requirements of interrelated information resources including rules for their consistency restoration; 3) Support of the executable level of heterogeneous multi-resource interoperation providing the interpretable code (including, if required, definition of tasks of autonomous software packages in their nativelanguages) to be produced by the query, constraint or multiactivity specification compilers. |
| Download: |
[ PostScript ]
|
|
|
