Implementing hierarchical graph-structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1577, Issue , 1999, Pages 219-234

  Tapken, Josef ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

FORMAL DESCRIPTION TECHNIQUES; GRAPHICAL DESIGNS; HIERARCHICAL GRAPHS; LOOSE COUPLINGS; REAL-TIME AUTOMATON; SPECIAL CLASS; STATECHARTS;

SOFTWARE ENGINEERING;

EID: 84947941710     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49020-3_15     Document Type: Conference Paper

References (18)

1. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269-276, 1991.
2. H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed RealTime Systems. In Euromicro Workshop on Real Time Systems, pages 222-229. IEEE, 1998.
3. Henning Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In ARTS’97, LNCS. Springer Verlag, May 1997.
4. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars: Applications, volume 2. Singapur: World Scientific, 1999. To appear.
5. G. Engels and A. Schurr. Encapsulated Hierachical Graphs, Graph Types, and Meta Types. In Andrea Corradini and Ugo Montanari, editors, SEGRAGRA’95, Workshop on Graph Rewriting and Computation, Electronic Notes in Theoretical Computer Science, pages 75-84, 1995.
6. H. Fleischhack and J. Tapken. An M-Net Semantics for a Real-Time Extension of µSDL. In FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of LNCS, pages 162-181. Springer Verlag, 1997.
7. Bernd Grahlmann. Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. In Proceedings of TACAS’98, volume 1384 of LNCS, pages 102-117. Springer Verlag, 1998.
8. David Harel. On Visual Formalisms. In Communications of the ACM, number 5 in 31, pages 514-530, 1988.
9. Michael Himsolt. Konzeption und Implementierung von Grapheneditoren. Verlag Shaker, Aachen, 1994. Dissertation.
10. i-Logix. Languages of STATEMATE, January 1991.
11. ITU-T Recommendation Z.100. Specification and Description Language. ITU General Secretariat - Sales Section, Geneva, 1992.
12. A.P. Ravn, H. Rischel, and K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, 19:41-55, January 1993.
13. Georg Sander. Layout of Compound Directed Graphs. Technical Report A/03/96, FB Informatik, Universitat des Saarlandes, 1996.
14. G. Taentzer and A. Schurr. DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems. In SEGRAGRA’95, Workshop on Graph Rewriting and Computation, Electronic Notes in Theoretical Computer Science, 1995.
15. Gabriele Taentzer. Hierarchically Distributed Graph Transformation. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Graph Grammars and Their Applications to Computer Science, volume 1073 of LNCS, pages 304-320. Springer Verlag, 1996.
16. Josef Tapken. Interactive and Compilative Simulation of PLC-Automata. In W. Hahn and A. Lehmann, editors, Simulation in Industry, ESS’97, pages 552-556. SCS, 1997.
17. Josef Tapken. Moby/plc - A Design Tool for Hierarchical Real-Time Automata. In Proceedings of FASE’98, volume 1382 of LNCS, pages 326-329. Springer Verlag, 1998.
18. Telelogic AB. SDT - the SDL Design Tool, http://www.telelogic.se/.