196 search results - page 1 / 40 » Specification Diagrams for Actor Systems |
LISP
2002
13 years 4 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
ECIS
2001
13 years 5 months ago
2001
This research project investigated the relationships between IS staff and other organisational actors in four organisations. Using a network-based approach borrowed from Sociology...
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
VL
1998
IEEE
13 years 8 months ago
1998
IEEE
This paper outlines a method to specify a wide range of diagrams by hypergraphs and diagram dynamics by hypergraph rewrite rules. The specification of a diagram language together ...
ENTCS
2006
13 years 4 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...