2940 search results - page 2 / 588 » Behavioral Constraints for Services |
FMCO
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
SEAA
2008
IEEE
14 years 4 days ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
ICSOC
2005
Springer
13 years 11 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
CAISE
2006
Springer
13 years 7 months ago
2006
Springer
Given a service request such as scheduling an appointment or purchasing a product, it is possible that the invocation of the service results in too many solutions that all satisfy ...
CCR
2004
13 years 5 months ago
2004
Today's networking community is becoming increasingly skeptical of the significance of research results founded wholly upon experimental results conducted in simulation. Now, ...