294 search results - page 2 / 59 » A Formal Model of Service-Oriented Design Structure |
115
Voted
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
117
click to vote
WWW
2006
ACM
15 years 7 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
107
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
113
Voted
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
109
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...