Towards automatic behavior synthesis of a coordinator component for context-aware mobile applications

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2009, Pages 140-147

  Daniele, Laura M ^a   Pires, Luís Ferreira ^a   Van Sinderen, Marten ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Behavior modeling; Behavior synthesis; Context awareness; Mobile applications; Model driven architecture; Refinement

Indexed keywords

APPLICATION DEVELOPMENT; BEHAVIOR MODELING; BEHAVIOR SYNTHESIS; BEHAVIOR-BASED; COMPONENT BEHAVIOR; CONTEXT- AWARENESS; CONTEXT-AWARE MOBILE APPLICATION; DESIGN PROCESS; MDA-BASED APPROACH; MOBILE APPLICATIONS; MODEL DRIVEN ARCHITECTURES; MODEL TRANSFORMATION; MODEL-DRIVEN; PLATFORM-INDEPENDENT MODEL; REFERENCE ARCHITECTURE; STATE MACHINE;

COMPUTER SCIENCE; MOBILE TELECOMMUNICATION SYSTEMS; SOFTWARE ARCHITECTURE; TECHNICAL PRESENTATIONS;

SYNTHESIS (CHEMICAL);

EID: 72849108495     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOCW.2009.5332006     Document Type: Conference Paper

References (19)

1. A. Barros, M. Dumas, and H.M. ter Hofstede, "Service interaction patterns," Business Process Management, Lecture Notes in Computer Science, vol. 3649, Springer Verlag, 2005, pp. 302-318.
2. L. Daniele, L. Ferreira Pires, and M. van Sinderen, "Interaction patterns for refining behavior specifications of context-aware mobile services," Proc. of the 4th Int'l Workshop on Model-Driven Enterprise Information Systems (MDEIS 2008), INSTICC Press, 2008, pp. 64-76.
3. L. Daniele, L. Ferreira Pires, and M. van Sinderen, "An MDA-based approach for behavior modeling of context-aware mobile Applications," Proc. of the 5th European Conf. on Model Driven architecture-Foundations and Applications (ECMDA-FA 2009), Lecture Notes in Computer Science, vol. 5562, Springer Verlag, 2009, pp. 206-220.
4. T. Dirgahayu, D. Quartel, and M. van Sinderen, "Development of transformations from business process models to implementations by reuse," Proc. of the 3th Int'l Workshop on Model-Driven Enterprise Information Systems (MDEIS 2007), INSTICC Press, 2007, pp. 41-50.
5. S. M. Eissen, and B. Stein, "An MDA approach to implement personal IR tools," 18th Int'l Conf. on Database and Expert Systems Applications (DEXA 2007), IEEE Computer Society Press, 2007, pp 259-263.
6. T. Fink, M. Koch, and K. Pauls, "An MDA approach to access control apecifications using MOF and UML profiles," First Int'l Workshop on Views on Designing Complex Architectures (VODCA 2004), Electronic Notes in Theoretical Computer Science, Vol. 142, 2006, pp 161-179.
7. D. Giannakopoulou, and J. Magee, "Fluent model checking for event-based systems," Proc. of the 9th European Software Engineering Conf. (ESEC 2003) and the 11th ACM SIGSOFT Int'l Symposium on Foundations of Software Engineering (FSE 2003), ACM Press, 2003, pp. 257-266.
8. Interaction Design Pattern (from Wikipedia), http://en.wikipedia.org/ wiki/Interaction-design-pattern.
9. ISDL home, http://isdl.ctit.utwente.nl.
10. V. Jones, A. Rensink, T. Ruys, E. Brinksma, and A. van Halteren, "A formal MDA approach for mobile health systems," Proc. of the Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations (EWMDA 2004), Computing Laboratory, Kent CT2 7NF, Canterbury, UK, pp 28-35.
11. Live Contacts home, http://livecontacts.telin.nl.
12. medini QVT: ikv++ technologies home, http://www.ikv.de.
13. Object Management Group, "MDA guide, V1.0.1," omg/03-06-01, Jun. 2003.
14. D. Quartel, T. Dirgahayu, and M. van Sinderen, "Model-driven design, simulation and implementation of service compositions in COSMO," Int'l J. of Business Process Integration and Management, in press.
15. G.H. Ter Hofte, R.A.A. Otte, H.C.J. Kruse, and M. Snijders, "Context-aware communication with Live Contacts", Conf. Supplement of Computer Supported Cooperative Work (CSCW2004), Chicago, USA, Nov. 2004.
16. S. Uchitel, G. Brunet, and M. Chechick, "Behavior model synthesis from properties and scenarios," Proc. of the 29th Int'l Conf. on Software Engineering (ICSE 2007), IEEE Computer Society Press, 2007, pp. 34-43.
17. S. Uchitel, J. Kramer, and J. Magee, "Incremental elaboration of scenario-based specifications and behavior models using implied scenarios," ACM Trans. on Software Engineering and Methodology, vol. 13, no 1, ACM Press, Jan. 2004, pp 37-85.
18. Object Management Group, "OMG Model Driven Architecture: How systems will be built," available at www.omg.org/mda
19. A. McNeile, and N. Simons, "Methods of behavior modeling: A commentary on behavior modeling techniques for MDA," unpublished, http://www.metamaxim.com/download/documents/Methods.pdf.