Sciweavers

3429 search results - page 104 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
MEMOCODE
2005
IEEE
14 years 1 months ago
Extended abstract: a race-free hardware modeling language
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
WISE
2002
Springer
14 years 25 days ago
UTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
Nektarios Gioldasis, Stavros Christodoulakis
SEMWEB
2005
Springer
14 years 1 months ago
RUL: A Declarative Update Language for RDF
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...
M. Magiridou, S. Sahtouris, Vassilis Christophides...
MODELS
2010
Springer
13 years 6 months ago
Active Operations on Collections
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
Olivier Beaudoux, Arnaud Blouin, Olivier Barais, J...
DAGSTUHL
2007
13 years 9 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...