In the paper a novel methodology, TS-U, is proposed based on existing model checking techniques that were extended to successfully model the systems in a ubiquitous environment by introducing time and space constraints relevant in modeling of some ubiquitous system for its validation. Method proposed requires only slight modification of the existing model checking tools by introducing the notio...

Conceptual modeling is widely recognized to be the necessary foundation for building a database that is well-documented and fully satisfies the user requirements. In particular, from the designer point of view the availability of a conceptual model provides a higher level of abstraction in describing the warehousing process and its architecture in all its aspects. Typically conceptual models re...

ion levels that can be objectively distinguished and can be applied to smaller units. For example, current definitions of the conceptual level as a level for communications between user and analyst are not fully objective. Well-trained users and analysts may find the relational model easy for communication (Siau, 2004). Or people may simply have different opinions and preferences on the models ...

The integration of ontologies in enterprise information systems has recently gained a lot of interest. In this paper we show three approaches to integrate models of ontologies and conceptual models of information systems. Therefore we revert to a meta modeling approach for specifying the modeling languages. The approaches have been implemented using the ADONIS meta modeling platform and the Pro...

information systems (is) acquisition prescribes induction of information technologies (it) in the organization. at times, is is used for managing broader enterprise level issues like implementing e-business, e-commerce. enterprise level issues are addressed through adequate involvement of people in the organization which are termed as “user capabilities”. managing user capabilities is critical ...

Conceptual modeling is an important task undertaken during the systems development process to build a representation of those features of an application domain that are important to stakeholders. In spite of its importance, however, substantial evidence exists to show that it is not done well. Designers often provide incomplete, inaccurate, or inconsistent representations of domain features in ...