Sciweavers

833 search results - page 21 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
WECWIS
2005
IEEE
128views ECommerce» more  WECWIS 2005»
14 years 1 months ago
Comparison of Two Distinctive Model Driven Web Service Orchestration Proposals
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
MODELS
2007
Springer
14 years 2 months ago
Automatic Generation of Workflow-Extended Domain Models
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
Marco Brambilla, Jordi Cabot, Sara Comai
CC
2009
Springer
153views System Software» more  CC 2009»
13 years 5 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala
FAC
2008
67views more  FAC 2008»
13 years 8 months ago
Specification, proof, and model checking of the Mondex electronic purse using RAISE
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
Chris George, Anne Elisabeth Haxthausen
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
14 years 1 months ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...