Towards a model-based approach for context-aware composition and adaptation: A case study using WF/.NET

Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008

Volumn , Issue , 2008, Pages 3-13

  Cubo, Javier ^a   Canal, Carlos ^a   Pimentel, Ernesto ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COMPUTER SOFTWARE; TELECOMMUNICATION EQUIPMENT;

ADAPTATION PROCESSES; CASE STUDIES; COMPONENT INTERFACES; CONTEXT-AWARE; CONTEXT-AWARE COMPUTING; DEVELOPING SOFTWARE; EMBEDDED SOFTWARES; MODEL-BASED; MODEL-BASED APPROACHES; PERVASIVE COMPUTING; RUN-TIME; SOFTWARE COMPONENTS;

MOBILE DEVICES;

EID: 49649114827     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MOMPES.2008.13     Document Type: Conference Paper

References (36)

1. A. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-249, 1997.
2. R. Bastide, O. Sy, D. Navarre, and P. A. Palanque. A Formal Specification of the CORBA Event Service. In Proc. of FMOODS'00, pages 371-396. Kluwer, 2000.
3. Bluetooth. How Bluetooth Technology Works. www.bluetootn.com/ Bluetooth/Learn/Works/, Bluetooth SIG, Inc., 2007.
4. A. Bracciali, A. Brogi, and C. Canal. A Formal Approach to Component Adaptation. Journal of Systems and Software, 74(1):45_54, 2005.
5. A. Brogi and R. Popescu. Automated Generation of BPEL Adapters. In Proc. of ICSOC'06, volume 4294 of LNCS, pages 27-39, 2006.
6. C. Canal, J. Murillo, and P. Poizat Software Adaptation. L'Objet, 12(1):9-31, 2006. Special Issue on Coordination and Adaptation Techniques for Software Entities.
7. C. Canal, P. Poizat, and G. Salaün. Synchronizing Behavioural Mismatch in Software Composition. In Proc. of FMOODS'06, volume 4037 of LNCS, pages 63-77, 2006.
8. H. Chen, T. Finin, and A. Joshi. An Intelligent Broker for Context-Aware Systems. In Proc. of UbiComp'03, 2003.
9. J. Cubo, G. Salaün, J. Cámara, C. Canal, and E. Pimentel. Context-Based Adaptation of Component Behavioural Interfaces. In Proc. of COORDINATION'07, volume 4467 of LNCS, pages 305-323, 2007.
10. J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. In Proc. of FACSW, ENTCS, 2007. To appear.
11. A. Dey and G. Abowd. Towards a Better Understanding of Context and Context-Awareness. In Proc. of Workshop on the What, Who, Where, When and How of ContextAwareness 2000, pages 304-307, 2000.
12. T. Erl. Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall, 2005.
13. H. Garavel, R. Mateescu, F. Lang, and W. Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of CAV'07, volume 4590 of LNCS, 2007.
14. M. Gaspari and G. Zavattaro. A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. In Proc. of ECOOP'99, volume 1628 of LNCS, pages 495-518, 1999.
15. P. Inverardi and M. Tivoli. Deadlock-Free Software Architectures for COM/DCOM Applications. Journal of Systems and Software, 65(3):173-183, 2003.
16. R. Lever, A. Hinze, and G. Buchanan. Compressing GPS Data on Mobile Devices. In Proc. of CAMS'06, volume 4278 of LNCS, pages 1944-1947, 2006.
17. J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour Analysis of Software Architectures. In Proc. of WICSA'99, Kluwer Academic Publishers, pages 35-49, 1999.
18. B. Margolis. SOA for the Business Developer: Concepts, BPEL, and SCA . Mc Press, 2007.
19. R. Mateescu, P. Poizat, and G. Salaün. Behavioral Adaptation of Component Compositions Based on Process Algebra Encodings. In Proc. of ASE'07, IEEE Computer Society Press, 2007. To appear.
20. S. Mokhtar, D. Fournier, N. Georgantas, and V. Issarny. Context-Aware Service Composition in Pervasive Computing Environments. In Proc. of RISE'05, volume 3943 of LNCS, pages 129-144, 2006.
21. H. Motahari, B. Benatallah, A. Martens, F. Curbera, and F. Casati. Semi-Automated Adaptation of Service Interactions. In Proc. of WWW'07, pages 993-1002. ACM Press, 2007.
22. J. Muñoz, V. Pelechano, and J. Fons. Model Driven Development of Pervasive Systems. ERCIM News, 58(0):50-51, 2004.
23. A. Nicoara and G. Alonso. PROSE - A Middleware Platform for Dynamic Adaptation. Demo presented at AOSD'05, 2005.
24. OMG. MDA Guide version 1.0.1. www.omg.org/docs/omg/03-06-01.pdf, Object Management Group, 2003.
25. OMG. CORBA Component Model Specification, v. 4.0. www.omg.org/technology/documents/formal/components.htm, Object Management Group, 2006.
26. OMG. Unified Modeling Language (UML), v. 2.0. www.omg.org/ technology/documents/fonnal/uml.htm,Object Management Group, 2006.
27. D. Salber, A. Dey, and G. Abowd. The Context Toolkit: Aiding the Development of Context-Enabled Applications. In Proc. of CHI'99, pages 434-441. ACM, 1999.
28. B. Schilit, N. Adams, and R. Want. Context-aware Computing Applications. In Proc. of IEEE Workshop on Mobile Computing Systems and Applications, pages 85-90. IEEE Computer Society Press, 1994.
29. H. Schmidt and R. Reussner. Generating Adapters For Concurrent Component Protocol Synchronisation. In Proc. of FMOODS'02, Kluwer Academic Publishers, pages 213-229, 2002.
30. K. Scribner. Microsoft Windows Workflow Foundation: Step by Step. Microsoft Press, 2007.
31. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Adisson-Wesley, 2nd edition, 2003.
32. W. van der Aalst and A. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4): 245-275, 2005.
33. Z. Wang, S. Elbaum, and D. S. Rosenblum. Automated Generation of Context-Aware Tests. In Proc of ICSE'07, IEEE Computer Society, pages 406-415, 2007.
34. Wi-Fi. What is 802.11b? www.wifi.org/knowledge_center_overview. php?docid=3266, Wi-Fi Alliance, 2007.
35. Windows-Mobile. What is Windows Mobile? www.microsoftcom/ windowsmobile/about/defaultmspx, Microsoft Corporation, 2007.
36. D. M. Yellin and R. E. Strom. Protocol Specifications and Components Adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.