Abstract
The event-based style is recognized as a powerful paradigm for the construction of large-scale and complex distributed systems. The development of applications based on this concept is, however, currently ad hoc and informal. To remedy this situation, we have developed the Lecap methodology. This paper presents a case study of the application of the methodology to the analysis of a platform for mobile team collaboration. This case study shows that Lecap is indeed applicable to real-life examples. Further, we claim that a component developed for one architectural style is not necessarily deployable in the context of another style. Finally, we show where tool support is needed to enhance the methodology’s usability.
This work is supported by the Austrian Research Foundation Fond (FWF) through the RAY project (Number P16970-No4).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barret, D.J., Clarke, L.A., Tarr, P.L., Wise, A.E.: A framework for event based software integration. ACM Transactions on Software Engineering and Methodology 5(4), 378–421 (1996)
Bradbury, J.S., Dingel, J.: Evaluating and improving the automatic analysis of implicit invocation systems. In: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 78–87. ACM Press, New York (2003)
Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and evaluation of a support service for mobile, wireless publish/subscribe applications. IEEE Transactions on Software Engineering 29(12), 1059–1071 (2003)
Carzaniga, A., Nitto, E.D., Rosenblum, D.S., Wolf, A.L.: Issues in supporting event-based architectural styles. In: Proceedings of 3rd International Software Architecture Workshop, Orlando FL, USA, November 1998, pp. 17–20 (1998)
Cugola, G., Nitto, E.D., Fuggetta, A.: Exploiting an event-based infrastructure to develop complex distributed systems. In: Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), pp. 261–270 (1998)
Fenkam, P., Gall, H., Jazayeri, M.: Constructing CORBA Supported Oracles: A Case Study in Automated Software Testing. In: Proceedings of the 17th IEEE Automated Software Engineering Conference, Edinburgh, Scotland, September 2002, pp. 129–138 (2002)
Fenkam, P., Gall, H., Jazayeri, M.: A Systematic Approach to the Development of Event-Based Applications. In: Proceedings of the 22nd IEEE Symposium on Reliable Distributed Systems (SRDS 2003), Florence, Italy, October 2003. IEEE Computer Press, Los Alamitos (2003)
Fenkam, P., Gall, H., Jazayeri, M.: Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. In: Proceedings of FM 2003: the 12th International FME Symposium, Pisa, Italy, September 2003. LNCS, pp. 632–657. Springer, Heidelberg (2003)
Jackson, D.: Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering Methododlogy 11(2), 256–290 (2002)
Picco, G.P., Cugola, G.: PeerWare: Core Middleware Support for Peer-To-Peer and Mobile Systems. Technical report, Dipartimento di Electronica e Informazione, Politecnico di Milano (2001)
Plat, N., Larsen, P.G.: An Overview of the ISO/VDM-SL Standard. In: ACM SIGPLAN Notices, pp. 76–82. ACM SIGPLAN (September 1992)
Reif, G., Kirda, E., Gall, H., Picco, G.P., Cugola, G., Fenkam, P.: A web-based peer-to-peer architecture for collaborative nomadic working. In: 10th IEEE Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Boston, MA, USA, June 2001, pp. 334–339. IEEE Computer Society Press, Los Alamitos (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fenkam, P., Jazayeri, M. (2005). Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study. In: Gschwind, T., Mascolo, C. (eds) Software Engineering and Middleware. SEM 2004. Lecture Notes in Computer Science, vol 3437. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11407386_7
Download citation
DOI: https://doi.org/10.1007/11407386_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25328-0
Online ISBN: 978-3-540-31975-7
eBook Packages: Computer ScienceComputer Science (R0)