Sciweavers

CAISE
2003
Springer
13 years 9 months ago
Conceptual Modelling in Practice - Myth or Reality?
Conceptual modelling is thought (by academics at least) to be a key activity of Business Systems Analysis. For decades, comprehensive research has been conducted on related topics ...
Islay Davies, Peter Green, Michael Rosemann
FDL
2003
IEEE
13 years 9 months ago
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
A. Minosi, S. Mankan, A. Martinola, F. Balzarini, ...
AGP
2003
IEEE
13 years 9 months ago
An Evolving Agent with EVOLP
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
José Júlio Alferes, Antonio Brogi, J...
PRICAI
2004
Springer
13 years 9 months ago
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
Wayne Wobcke
OTM
2005
Springer
13 years 10 months ago
Ontology Transformation and Reasoning for Model-Driven Architecture
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
Claus Pahl
AIED
2005
Springer
13 years 10 months ago
Generating Reports of Graphical Modelling Processes for Authoring and Presentation
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
Lars Bollen
ACL2
2006
ACM
13 years 10 months ago
Memories: array-like records for ACL2
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
Jared Davis
ER
2007
Springer
141views Database» more  ER 2007»
13 years 10 months ago
Ontology-Driven Business Modelling: Improving the Conceptual Representation of the REA Ontology
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
Frederik Gailly, Geert Poels
ECSA
2007
Springer
13 years 10 months ago
An Ontology-Based Approach for Modelling Architectural Styles
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
Claus Pahl, Simon Giesecke, Wilhelm Hasselbring
SIES
2007
IEEE
13 years 10 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova