Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
Gregory A. Silver, Osama Al-Haj Hassan, John A. Mi...
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
In this paper a new process modelling method especially for public administrations is presented. With established generic process modelling methods reorganisation projects in this ...
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...