Sciweavers

Share
KES
2008
Springer
8 years 12 months ago
A User Interface for the User-Centred Knowledge Model, t-UCK
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...
Anne Håkansson
DAGSTUHL
2004
9 years 1 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
WICSA
2008
9 years 1 months ago
The Role of Dependency Links in Ensuring Architectural View Consistency
Modern systems modelling languages frequently support the use of multiple views in order to provide flexible, extensible, and rich mechanisms for capturing system characteristics....
Alek Radjenovic, Richard F. Paige
CAISE
2008
Springer
9 years 1 months ago
AutoModelGen: A Generic Data Level Implementation of ModelGen
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
Andrew Smith, Peter McBrien
UML
2000
Springer
9 years 3 months ago
UMLi: The Unified Modeling Language for Interactive Applications
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
Paulo Pinheiro da Silva, Norman W. Paton
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
9 years 3 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
FM
1999
Springer
111views Formal Methods» more  FM 1999»
9 years 4 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
GCC
2003
Springer
9 years 5 months ago
Modelling Cooperative Multi-agent Systems
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
Lijun Shan, Hong Zhu
IAT
2003
IEEE
9 years 5 months ago
Modelling and Specifying Scenarios and Agent Behaviour
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
Lijun Shan, Hong Zhu
SELMAS
2004
Springer
9 years 5 months ago
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
Lijun Shan, Hong Zhu
books