A systematic approach to the development of event based applications

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2003, Pages 199-208

  Fenkam, Pascal ^a   Gall, Harald ^a   Jazayeri, Mehdi ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-BASED APPLICATIONS; LECAP APPROACH; MESSAGE ORIENTED MIDDLEWARE; WHILE-PARALLEL LANGUAGES;

COMMUNICATION SYSTEMS; COMPUTER ARCHITECTURE; DYNAMIC PROGRAMMING; FORMAL LOGIC; INTEGRATION; MIDDLEWARE; MOBILE COMPUTING;

COMPUTER APPLICATIONS;

EID: 27644469487     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RELDIS.2003.1238069     Document Type: Conference Paper

References (22)

1. S. Agerholm and P. G. Larsen. A Lightweight Approach to Formal Methods. In Proceedings of the International Workshop on Currents Trends in Applied Formal Methods. Springer Verlag, October 1998.
2. D. J. Barret, L. A. Clarke, P. L. Tarr, and A. E. Wise. A framework for event based software integration. ACM Transactions on Software Engineering and Methodology, 5(4):378-421, 1996.
3. K. Bergner, A. Rausch, and M. Sihling. A component-ware development methodology based on process patterns. In Proceedings of 5th Annual Conference on Pattern Languages of Programs (PLOP98), 1998.
4. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.
5. E. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
6. J. Dingel. Systematic parallel programming. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, December 1999.
7. J. Dingel, D. Garlan, S. Jha, and D. Nolkin. Reasonning about Implicit Invocation. In Proceedings of the 6th International Symposium on the Foundations of Software Engineering, FSE-6. ACM, 1998.
8. J. Dingel, D. Garlan, S. Jha, and D. Notkin. Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Formal Aspects of Computing, 10, 1998.
9. P. Eugster, P. Felber, R. Guerraoui, and A.-M. Kermarrec. The many faces of publish/subscribe. Technical report, EPFL, Lausanne, Switzerland, 2001.
10. P. Fenkam, H. Gall, and M. Jazayeri. Composing Specifications of Event Based Applications. In Proceedings of FASE 2003 (Fundamental Approaches to Software Engineering 2003), Warsaw, Poland, LNCS. Springer Verlag, April 2003.
11. P. Fenkam, H. Gall, and M. Jazayeri. Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. In Proceedings of FM 2003: the 12th International FME Symposium, Pisa, Italy; LNCS. Springer Verlag, September 2003.
12. D. Garlan and S. Khersonsky. Model checking implicit-invocation systems. In Proceedings of the 10th International Workshop on Software Specification and Design, San Diego, CA, November 2000.
13. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10), 1969.
14. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
15. C. Jones. Tentative steps towards a development method for interfering programs. Transactions on Programming Languages and Systems, 5(4), October 1983.
16. C. Jones. Systematic software development using VDM. Prentice-Hall International, 1990. 2nd edition.
17. Marry Shaw and David Garlan. Software Architecture - Perspectives on an Emerging Discipline. Prentice Hall, 1996.
18. R. Milner. The Calculus of Communicating Systems. Prentice Hall, 1993.
19. S. Owicki and D. Gries. Verifying properties of parallel programs: an axiomatic approach. Communications of the ACM, 19(5), May 1976.
20. K. Prasad. A calculus of broadcasting systems. In Proceedings of TAPSOFT'91, volume 493, 1991.
21. K. Stølen. A Method for the Development of Totally Correct Shared-State Parallel Programs. In Proceedings of CONCUR'91, pages 510-525. Springer Verlag, 1991.
22. Q. Xu and J. He. A theory of state-based parallel programming by refinement: part 1. In Proceedings of the 4th BCS-FACS Refinement Workshop. Springer Verlag, 1991.