Journal:Informatica
Volume 28, Issue 1 (2017), pp. 45–78
Abstract
Data involving spatial and/or temporal attributes are often represented at different levels of granularity in different source schemata. In this work, a model of such multigranular data is developed, which supports not only the usual order structure on granules, but also lattice-like join and disjointness operators for relating such granules in much more complex ways. In addition, a model for multigranular thematic attributes, to which aggregation operators are applied, is provided. Finally, the notion of a thematic multigranular comparison dependency, generalizing ordinary functional and order dependencies but specifically designed to model the kinds of functional and order dependencies which arise in the multigranular context, and in particular incorporating aggregation into the definition of the constraint, is developed.
Journal:Informatica
Volume 12, Issue 3 (2001), pp. 347–372
Abstract
This paper presents the set of verification rules to detect faults in specification of model of computerized information system. Computerized information system model is specified using Enterprise modeling approach, which integrates static and dynamic dependencies. Typical communication action loop is a basic construct of Enterprise modeling approach. Actions, which process data resources of computerized information system, are analyzed.