Visual formalisms revisited

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 1998-March, Issue , 1998, Pages 41-51

  Grosu, R ^a   Stefanescuz G ^a,b   Broy, M ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECTED GRAPHS; SEMANTICS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

COMPOSITIONAL SEMANTICS; DENOTATIONAL MODELS; HIERARCHICAL GRAPHS; INTER-COMMUNICATION; INTERACTIVE APPLICATIONS; REALISTIC APPLICATIONS; SOFTWARE ENGINEERING METHODS; VISUAL SPECIFICATION;

COMPUTER ARCHITECTURE;

EID: 84958632129     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.1998.657538     Document Type: Conference Paper

References (25)

1. S. Abramski. Retracing some paths in process algebra. In Seventh International Conference on Concurrency Theory (Concur'96), Lecture Notes Computer Science 1055, pages 21-33, 1996.
2. S. Abramski, S. Gay, and R. Nagarajan. Interaction categories and the foundations of typed concur rent programming. To appear in Proc. Marktoberdorf Summer School, 1994.
3. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. To appear in the Proceedings of the 38th Annual IEEE Symposium on Foundations of Computer Science (FOCS 1997), 1997.
4. R. Alur and T.A. Henzinger. Reactive modules. In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, pages 207-218, New Brunswick, New Jersey, 27-30 July 1996. IEEE Computer Society Press.
5. G. Berry and G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. Sience of Computer Programming, 19(2): 83-152, 1992.
6. M. Broy. Semantics of finite and infinite networks of concurrent communicating agents. Distributed Com- puting, 2: 13-31, 1987.
7. M. Broy. Mathematical system models as a basis of software engineering. Computer Science Today, 1995.
8. M. Broy. Towards a mathematical model of a component and its use. Software|Concepts and Tools, 18: 137-148, 1997. Also appeared in Proc. of Componentware Users Conference 1996, Munich.
9. M. Broy, R. Grosu, and C. Klein. Reconciling real-time with asynchronous message passing. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313. Springer, September 1997.
10. M. Broy and Gh. Stefanescu. The algebra of stream processing functions. Technical Report TUM-I9620, Technische Univerität München, 1996.
11. P. Chen. The entity-relationship model - toward a unified view of data. ACM Trans. on Database Sys- tems, 1(1): 9-36, March 1976.
12. R. Grosu and K. Stlen. A Model for Mobile Pointto- Point Data-ow Networks without Channel Sharing. In Martin Wirsing and Maurice Nivat, editors, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST'96, Munich, Germany, pages 505-519. Lecture Notes in Computer Science 1101, 1996.
13. R. Grosu and K. Stlen. Specification of Mobile Systems. In M. Haveraaen and O. Owe, editors, Pro- ceedings of the 8th Nordic Workshop on Programming Theory, Oslo, Norway, pages 67-76. Department of Informatics at the University of Oslo, 1996.
14. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.
15. D. Harel. On visual formalisms. Communications of the ACM, 31(5): 514-530, 1988.
16. D. Harel and E. Gery. Executable object modeling with statecharts. In 18th International Conference on Software Engineering, pages 246-257, Berlin - Heidelberg - New York, March 1996. Springer.
17. ITU-T. Z.120 - Message Sequence Chart (MSC). ITU-T, Geneva, 1996.
18. A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Math. Proc. Camb. Phil. Soc., 119: 447-468, 1996.
19. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CON- CUR. Springer Verlag, LNCS 630, august 1992.
20. A. Olsen, O. Frgemand, B. Müller-Pedersen, R. Reed, and J. R. W. Smith. Systems Engineering Using SDL-92. Elsevier Science, North-Holland, 1994.
21. Rational. UML Notation guide, version 1.0. Response to the OMG's OOA&OOD RFP, January 1997.
22. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc., 1994.
23. Gh. Stefanescu. Algebra of ownomials. Technical Report TUM-I9437, Technische Universität München, 1994.
24. Gh. Stefanescu. Reaction and control I: Mixing additive and multiplicative network algebras. Technical Report 37/1996, Institute of Mathematics of the Romanian Academy, 1996. To appear in Journal of the Interest Group in Pure and Applied Logic.
25. E. Yourdon. Modern Structured Analysis. Englewood Cliffs, Yourdon Press, New Jersey, 1989.