Sciweavers

ENTCS
2010
108views more  ENTCS 2010»
13 years 1 months ago
Integrating Textual and Graphical Modelling Languages
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
Luc Engelen, Mark van den Brand
MODELS
2010
Springer
13 years 2 months ago
Extending Variability for OCL Interpretation
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
Claas Wilke, Michael Thiele, Christian Wende
ER
2008
Springer
128views Database» more  ER 2008»
13 years 6 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
CSCLP
2008
Springer
13 years 6 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
ISARCS
2010
240views Hardware» more  ISARCS 2010»
13 years 6 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
UML
1997
Springer
13 years 8 months ago
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
Michael Prasse
GTTSE
2007
Springer
13 years 8 months ago
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
Guido Wachsmuth
SEMWEB
2001
Springer
13 years 9 months ago
Open Learning Repositories and Metadata Modeling
Building repositories for e-learning is an iterative process and course content and course structure are always changing. We realized the necessity to separate content from structu...
Hadhami Dhraief, Wolfgang Nejdl, Boris Wolf, Marti...
TOOLS
2008
IEEE
13 years 11 months ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
RE
2009
Springer
13 years 11 months ago
Semantic Criteria for Choosing a Language for Big-Step Models
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. At...