Sciweavers

436 search results - page 17 / 88
» Specification of modelling languages in a flexible meta-mode...
Sort
View
OMER
2001
13 years 9 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
IIWAS
2004
13 years 9 months ago
ReFFlow: A Model and Generic Approach to Flexibility of Web Service Compositions
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
Dimka Karastoyanova, Alejandro P. Buchmann
GI
2010
Springer
13 years 6 months ago
Semantics and Execution of Domain Specific Models
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
Christian Motika, Hauke Fuhrmann, Reinhard von Han...
I3E
2003
100views Business» more  I3E 2003»
13 years 9 months ago
Use of Models and Modelling Techniques for Service Development
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
Luís Ferreira Pires, Marten van Sinderen, C...
FASE
2004
Springer
14 years 5 days ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...