Visual Programming of Concurrent Object-Oriented Systems

Journal of Visual Languages and Computing

Volumn 12, Issue 2, 2001, Pages 127-143

  Philippi, Stephan ^a  

^a University of Koblenz Landau ^*  (Germany)

Author keywords

Concurrency; Formally based; Integrated systems modeling; Object orientation; Petri Nets

Indexed keywords

EID: 0347746410     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.2000.0192     Document Type: Article

References (36)

1. Rational Software Corporation (2000) UML-Documentation. 'www.rational.com/uml'.
2. A. J. Alencar & J. A. Goguen (1991) OOZE: an object-oriented Z environment. In: Proceedings of the European Conference on Object Oriented Programming 1991, Lecture Notes in Computer Science, Vol. 512. Springer-Verlag, Berlin.
3. D. Carrington, D. Duke, R. Duke, P. King, G. Rose & G. Smith (1989) Object-Z: an object-oriented extension to Z. Formal Description Techniques (FORTE '89). North-Holland Publishing Co, Amsterdam.
4. E. Durr (1992) A formal specification language for object-oriented designs. In: IEEE CompEuro Proceedings, IEEE Press, New York.
5. C. A. Petri (1962) Kommunikation mit Automaten. Dissertation, Institut für Instrumentelle Mathematik, Bonn, Germany.
6. P. Huber, K. Jensen & R. M. Shapiro (1990) Hierarchies in coloured petri nets. In: Advances in Petri Nets 1990, Lecture Notes in Computer Science, Vol. 483. Springer-Verlag, Berlin.
7. K. Lano & H. Haughton (1994) A comparative description of object-oriented specification languages. In: Object-Oriented Specification Case Studies (K. Lano & H. Haughton, eds). Prentice-Hall International, Englewood Cliffs, NJ.
8. A. Evans, J.-M. Bruel, R. France, K. Lano & B. Rumpe (1998) Making UML precise. Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?
9. S. Kent, A. Evans & B. Rumpe (1999) UML Semantics FAQ. In: Object-Oriented Technology, ECOOP'99 Workshop Reader, Lecture Notes in Computer Science, Vol. 1743. Springer-Verlag, Berlin.
10. S. Matsuoka & A. Yonezawa (1993) Analysis of inheritance anomaly in object-oriented concurrent programming languages. In: Research Directions in Concurrent Object-Oriented Programming (G. Agha, P. Wegner & A. Yonezawa, eds). MIT Press, Cambridge, MA.
11. B. Meyer (1997) Object-oriented Software Construction. Prentice-Hall, New York, USA.
12. S. Philippi (1999) Synthese von Petri-Netzen und objektorientierten Konzepten. Dissertation, University of Koblenz-Landau, Germany.
13. E. Battiston, F. DeCindio & G. Mauri (1988) OBJSA nets: a class of high level nets having objects as domains. In: Advances in Petri-Nets, Lecture Notes in Computer Science, Vol. 340. Springer-Verlag, Berlin.
14. G. Bruno & A. Balsamo (1986) Petri net-based object-oriented modelling of distributed systems. ACM SIGPLAN Notices 21, 284-293.
15. R. Burkhardt (1994) Modellierung dynamischer Aspekte mit dem Objekt-Prozess-Modell. Dissertation, Technical University Ilmenau, Germany.
16. J. Engelfriet, G. Leih & G. Rozenberg (1990) Net-based description of parallel object-based systems. In: Foundations of Object-Oriented Languages, Lecture Notes in Computer Science, Vol. 489. Springer-Verlag, Berlin.
17. S. English (1993) Coloured petri nets for object-oriented modelling. Dissertation, University of Brighton.
18. T. Holvoet & P. Verbaeten (1995) PN-TOX: a paradigm and development environment for object concurrency specifications. In: Proceedings of the 16th International Conference on the Application and Theory of Petri-Nets, Turin, Italy.
19. K. M. van Hee & P. A. C. Verkoulen (1991) Integration of a data model and high-level Petri-Nets. Proceedings of the 12th International Conference on Applications and Theory of Petri-Nets, Gjern, Denmark.
20. T. Boehme, J. Nuetzel & W. Fengler (1997) Objektorientiertes Entwurfsmodell für Steuerungssysteme auf Basis der Petri-Netz-Theorie. In: Entwurf komplexer Automatisierungssysteme (E. Schnieder & D. Abel, eds). Technical University Braunschweig, Germany.
21. G. Kappel & M. Schrefl (1991) Using an object-oriented diagram-technique for the design of information systems. In: Dynamic Modelling of Information Systems (H. G. Sol & K. M. van Hee, eds). Elsvier Science Publishers B.V. (North-Holland), Amsterdam.
22. M. Stulle (1997) Ereignisdiskrete Zustandsrekonstruktion auf der Grundlage objektorientierter Petri-Netz-Modelle am Beispiel flexibler Fertigungssysteme. Dissertation, Technical University Munich, Germany.
23. H. Giese, J. Graf & G. Wirtz (1998) Modeling distributed software systems with object coordination nets. In: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 98), Kyoto, Japan.
24. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy & W. Lorensen (1991) Object-Oriented Modeling and Design. Prentice-Hall International, Englewood Cliffs, NJ.
25. G. Decknatel (1995) F-Nets. Diploma-Thesis, University of Koblenz-Landau, Germany.
26. M. Ceska, V. Janousek & T. Vojnar (1997) PN-Talk - a computerized tool for object-oriented petri nets modelling. In: Proceedings of the 6th International Workshop on Computer Aided Systems Theory - EUROCAST 1997, Lecture Notes in Computer Science, Vol. 1333. Springer-Verlag, Berlin.
27. C. Maier (1997) Objektorientierte Analyse mit gefärbten Petri-Netzen. Diploma Thesis, University of Hamburg, Germany.
28. H. J. Genrich & K. Lautenbach (1981) System modelling with high-level petri nets. Theoretical Computer Science 13, 109-136.
29. K. Arnold & J. Gosling (1996) The Java Programming Language. Addison-Wesley, Reading, MA.
30. S. Philippi (2000) Seamless object-oriented software development on a formal base. In: Proceedings of the Workshop on Software Engineering and Petri-Nets, Aarhus, Denmark.
31. P. von Hutten (2000) Modellierung eines Ray-Tracers mit OOPr/T-Modellen. Diploma Thesis, University of Koblenz-Landau, Germany.
32. W. M. P. van der Aalst & T. Basten (1997) Life-cycle inheritance: a petri-net-based approach. In: Application and Theory of Petri Nets, 1997, (G. Balbo & P. Azena, Eds) Lecture Notes in Computer Science, Vol. 1248. Springer-Verlag, Berlin.
33. S. Philippi (2000) Modeling of concurrent object-oriented systems using high-level Petri-Nets. In: Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'00), Orlando, USA.
34. B. Mandelbrot (1982) The Fractal Geometry of Nature. Freeman, San Francisco, USA.
35. T. George (1999) OOPr/T-Modeller: Ein Werkzeug zur Modellierung nebenläufiger objektorientierter Systeme auf der Basis von UML und Petri-Netzen. Diploma Thesis, University of Koblenz-Landau, Germany.
36. S. Philippi & P. von Hutten (2001) Modeling a concurrent ray-tracing algorithm using object-oriented Petri-Nets. Technical Report 01/2001, University of Koblenz-Landau.