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 a concurrent and unreliable environment; (2) the multiresource constraint support for the HIRE and 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 nature languages) to be produced by the query, constraint or multiactivity specification compilers.
展开▼