Sciweavers

319 search results - page 23 / 64
» Domain-specific Customization of Modeling Languages
Sort
View
FMOODS
2006
15 years 3 months ago
KM3: A DSL for Metamodel Specification
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
Frédéric Jouault, Jean Bézivi...
FORTE
2009
14 years 11 months ago
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
João Abreu, Franco Mazzanti, José Lu...
ESWS
2008
Springer
15 years 3 months ago
Semantic Metadata Instantiation and Consolidation within an Ontology-based Multimedia Document Management System
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
Annett Mitschick, Ralf Nagel 0002, Klaus Meiß...
119
Voted
DOLAP
1999
ACM
15 years 6 months ago
Event-Entity-Relationship Modeling in Data Warehouse Environments
We use the event-entity-relationship model (EVER) to illustrate the use of entity-based modeling languages for conceptual schema design in data warehouse environments. EVER is a g...
Lars Bækgaard
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 8 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema