[Back]

P. Fenkam, M. Jazayeri, H. Gall:
"A Systematic Approach to the Development of Event-Based Applications";
in: "Proceedings of the 22nd Symposium on Reliable Distributed Systems", IEEE Computer Society Press, 2003, ISBN: 0-7695-1955-5, 199 - 208.

We propose a novel framework (LECAP) for the development
of event-based applications. Our approach offers the following
advantages over existing approaches: 1) it supports
a while-parallel language, 2) the reasoning allows a dynamic
(instead of static) binding of programs to events, 3)
it is oriented towards stepwise development of
systems, and 4) the underlying logic supports the composition of specifications.
The event based architectural style has been recognized
as fostering the development of large-scale and complex
systems by loosely coupling their components. It is therefore
increasingly deployed in various environments such
as middleware for mobile computing, message oriented
middleware, integration frameworks, communication standards,
and commercial toolkits. Current approaches to the development of event-based applications
are ad hoc and do not support reasoning
about their correctness. The \lecap approach is intended to solve
this problem through a compositional and stepwise approach to
specification and verification of event-based applications

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404431