221 search results - page 8 / 45 » Consistent Graphical Specification of Distributed Systems |
FM
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
EDO
2000
Springer
13 years 11 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
SI3D
1995
ACM
13 years 11 months ago
1995
ACM
This paper describes the client-server design, implementation and experimental results for a system that supports real-time visual interaction between a large number of users in a...
EDBT
2000
ACM
13 years 11 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...