Leveraging software architectures to guide and verify the development of sense/compute/control applications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 431-440

  Cassou, Damien ^a   Balland, Emilie ^a   Consel, Charles ^a   Lawall, Julia ^b  

^a UNIVERSITÉ DE BORDEAUX   (France)

^b INRIA   (France)

Author keywords

architectural conformance; generative programming

Indexed keywords

ARCHITECTURAL CONFORMANCE; ARCHITECTURE DESCRIPTION; ARCHITECTURE DESCRIPTION LANGUAGES; COMPUTING SYSTEM; CONCRETE COMPONENTS; CONTROL-FLOW; DESIGN SPACES; GENERATIVE PROGRAMMING; IMPLEMENTATION GUIDANCE; INTERACTION CONTRACTS; KEY ELEMENTS; PROGRAMMING SUPPORT; SOFTWARE COMPONENT; STATIC VERIFICATION; VERIFICATION STRATEGY;

ABSTRACTING;

SOFTWARE ARCHITECTURE;

EID: 79959902128     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985852     Document Type: Conference Paper

References (22)

1. J. Aldrich, C. Chambers, and D. Notkin. ArchJava: connecting software architecture to implementation. In ICSE'02: 24th International Conference on Software Engineering, 2002.
2. D. Cassou, B. Bertran, N. Loriant, and C. Consel. A generative programming approach to developing pervasive computing systems. In GPCE'09: 8th International Conference on Generative Programming and Component Engineering, 2009.
3. G. Chen and D. Kotz. Context aggregation and dissemination in ubiquitous computing systems. In WMCSA'02: 4th Workshop on Mobile Computing Systems and Applications, 2002.
4. L. de Alfaro and T. A. Henzinger. Interface automata. In ESEC'01: 9th European Software Engineering Conference, 2001.
5. G. Edwards, J. Garcia, H. Tajalli, D. Popescu, N. Medvidovic, G. Sukhatme, and B. Petrus. Architecture-driven self-adaptation and self-management in robotics systems. In SEAMS'09: 4th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2009.
6. S. Gatti, E. Balland, and C. Consel. A step-wise approach for integrating QoS throughout software development. In FASE'11: 14th European Conference on Fundamental Approaches to Software Engineering, 2011.
7. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
8. M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000.
9. G. Jung and J. Hatcliff. A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Science of Computer Programming, 75(7), 2010.
10. D. Luckham and J. Vera. An event-based architecture definition language. IEEE Transactions on Software Engineering, 21(9), 1995.
11. N. A. Lynch and M. R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In PODC'87: 6th annual Symposium on Principles of distributed computing, 1987.
12. J. Magee and J. Kramer. Dynamic structure in software architectures. In SIGSOFT'96: 4th Symposium on Foundations of software engineering, 1996.
13. N. Medvidovic, E. M. Dashofy, and R. N. Taylor. Moving architectural description from under the technology lamppost. Information and Software Technology, 49(1), 2007.
14. N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1), 2000.
15. J. Mercadal, Q. Enard, C. Consel, and N. Loriant. A domain-specific approach to architecturing error handling in pervasive computing. In OOPSLA'10: 25th International Conference on Object Oriented Programming Systems Languages and Applications, 2010.
16. R. Picek and V. Strahonja. Model Driven Development - future or failure of software development? In IIS'07: 18th International Conference on Information and Intelligent Systems, 2007.
17. E. Serral, P. Valderas, and V. Pelechano. Towards the model driven development of context-aware pervasive systems. Pervasive and Mobile Computing, 6(2), 2010.
18. M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4), 1995.
19. V. C. Sreedhar. Mixin'up components. In ICSE'02: 24th International Conference on Software Engineering, 2002.
20. R. N. Taylor, N. Medvidovic, and E. M. Dashofy. Software Architecture: Foundations, Theory, and Practice. Wiley, 2009.
21. N. Ubayashi, J. Nomura, and T. Tamai. Archface: A contract place where architectural design and code meet together. In ICSE'10: 32th International Conference on Software Engineering, 2010.
22. G. Waignier, S. Prawee, A.-F. Le Meur, and L. Duchien. A model-based framework for statically and dynamically checking component interactions. In MODELS'08: 11th International Conference on Model-Driven Engineering Languages and Systems, 2008.