2558 search results - page 59 / 512 » Model Composition Contracts |
124
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
126
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
140
Voted
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
141
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
128
Voted
TCS
2008
15 years 3 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...