Sciweavers

2558 search results - page 231 / 512
» Model Composition Contracts
Sort
View
ECRA
2002
111views more  ECRA 2002»
15 years 4 months ago
The Web Service Modeling Framework WSMF
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
Dieter Fensel, Christoph Bussler
JOT
2007
94views more  JOT 2007»
15 years 4 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons
ECOWS
2007
Springer
15 years 11 months ago
Model-Driven Performance Evaluation for Service Engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
Claus Pahl, Marko Boskovic, Wilhelm Hasselbring
138
Voted
EMSOFT
2003
Springer
15 years 10 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
170
Voted
MKWI
2008
123views Business» more  MKWI 2008»
15 years 6 months ago
Towards a Model for Specifying and Composing Concerns in Software Product Line Engineering
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
Volker Kuttruff