Sciweavers

319 search results - page 23 / 64
» Domain-specific Customization of Modeling Languages
Sort
View
FMOODS
2006
15 years 7 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
15 years 3 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 7 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ß...
DOLAP
1999
ACM
15 years 10 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»
16 years 9 days 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