Paper Info
Title
Formally designing an event-based application for mobile collaboration: a case study
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.
Year
DOI
Venue
2004
10.1007/11407386_7
SEM
Keywords
Field
DocType
powerful paradigm,mobile collaboration,event-based application,event-based style,real-life example,lecap methodology,tool support,architectural style,case study,mobile team collaboration,distributed system
Mobile collaboration,Systems engineering,Natural deduction,Computer science,Usability,Proof obligation,Architectural style
Conference
Volume
ISSN
ISBN
3437
0302-9743
3-540-25328-9
Citations 
PageRank 
References 
0
0.34
12
Authors
2
Name
Order
Citations
PageRank
Pascal Fenkam112311.85
Mehdi Jazayeri21280176.00