4286 search results - page 82 / 858 » Formalizing Service Interactions |
147
Voted
JUCS
2000
15 years 2 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
125
Voted
DESRIST
2010
Springer
15 years 5 months ago
2010
Springer
This paper reports on the design of a collaborative system to support citizens' advisory services. Recent research on the adoption of collaborative technologies indicates that...
117
Voted
PPPJ
2003
ACM
15 years 8 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
122
Voted
ERCIMDL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
116
Voted
ICFEM
1998
Springer
15 years 6 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...