The Unified Modeling Language (UML, see [27]) is the industry standard for modeling software intensive systems. Recently, the standard has been upgraded from version 1.5 to 2.0, introducing significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [13, 12]) have been integrated. In UML, the concept underlying these notations is called int...

Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems) – i.e. modeling hierarchical systems. Our goal is to build a Computer Aided Design (CAD) tool for EA. To be able to build this CAD tool, we need an ontology that can be used to describe hierarchical systems. The Reference Model of Open Distributed Processing (RM-ODP) was originall...

An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a coherent multimedia application model. In this sense, we extend the model-view-controller paradigm towards multimedia. As a result, we present OMM...

Agent-based modeling is now widely used to investigate complex systems but still lacks integrated and generic tools to support the representation of features usually associated with real complex systems, namely rich, dynamic and realistic environments or multiple levels of agency. The GAMA platform has been developed to address such issues and allow modelers, thanks to the use of a high-level m...

The basic ingredients of a domain-specific modeling language (DSML) are its syntax and semantics. For defining the abstract syntax in terms of metamodels, MOF constitutes a standardized language. For specifying the behavioral semantics, however, no standardized language exists, which hampers the emergence of model execution facilities, such as debugging and simulation support. The contribution ...

This paper presents a domain-specific language (DSL) in the form of a UML profile that facilitates efficient modeling and generation of fully-functional UIs of enterprise business applications. DSL is based on an internal HCI standard that defines layout and behaviour of coarsegrained objects for business applications. Being a regular UML extension, this language can be used in any general-purp...

Modeling approaches are gaining popularity in knowledge management (KM), especially in specifying knowledge contents. This paper addresses the enterprise knowledge modeling. An enterprise knowledge model provides users with an integrated, holistic view of organizational knowledge resources. Employing a reliable methodology is critical to building successful enterprise knowledge models. A good m...

The paper proposes a new knowledge representation language, called DLP, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP is provided, which is shown to genera...