A software architecture-based framework for highly distributed and data intensive scientific applications

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 721-730

  Mattmann, Chris A ^a,b   Crichton, Daniel J ^a   Medvidovic, Nenad ^b   Hughes, Steve ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b University of Southern California ^*  (United States)

Author keywords

Data management; OODT; Software architecture

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; INFORMATION MANAGEMENT; INFORMATION SYSTEMS; VIRTUAL REALITY;

DATA VOLUMES; OODT; SOFTWARE FRAMEWORK; VIRTUAL DATA SYSTEMS;

SOFTWARE ARCHITECTURE;

EID: 34247163209     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134400     Document Type: Conference Paper

References (24)

1. P. Baldan, A. Corradini, and B. König. A static analysis technique for graph transformation systems. In Proc. CONCUR, LNCS 2154, pages 381-395. Springer, 2001.
2. P. Baldan, B. König, and A. Rensink. Graph grammar verification through abstraction (summary 2). Proc. Dagstuhl Seminar 04241, 2005.
3. L. Baresi, R. Heckel, S. Thöne, and D. Varrö. Modeling and validation of service-oriented architectures: Application vs. style. In Proc. ESEC/FSE, pages 68-77. ACM, 2003.
4. D. Beyer, A. Noack, and C. Lewerentz. Efficient relational calculation for software analysis. IEEE Trans. on Software Engineering, 31(2):137-149, 2005.
5. R. Bharadwaj and S. Sims. Salsa: Combining constraint solvers with BDDs for automatic invariant checking. In Proc. TACAS, LNCS 1785, pages 378-394. Springer, 2000.
6. D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000.
7. S. Burmester, H. Giese, and M. Tichy. Model-driven development of reconfigurable mechatronic systems with mechatronic UML. In Model Driven Architecture: Foundations and Applications, LNCS 3599, pages 47-61. Springer, 2005.
8. M. Caporuscio, P. Inverardi, and P. Pelliccione. Formal analysis of architectural patterns. In Proc. EWSA, LNCS 3047, pages 10-24. Springer, 2004.
9. M. Charpentier. Composing invariants. In Proc. FME, LNCS 2805, pages 401-421. Springer, 2003.
10. M. F. Frias, J. P. Galeotti, C. L. Pombo, and N. Aguirre. DynAlloy: Upgrading Alloy with actions. In Proc. ICSE, pages 442-451. ACM, 2005.
11. H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp. Modular design and verification of component-based mechatronic systems with online-reconfiguration. In Proc. FSE, pages 179-188. ACM, 2004.
12. H. Giese and D. Schilling. Towards the automatic verification of inductive invariants for infinite state UML models. Technical Report tr-ri-04-252, University of Paderborn, Germany, 2004.
13. H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the compositional verification of real-time UML designs. In Proc. ESEC/FSE, pages 38-47. ACM, 2003.
14. R. Heckel, J. Küster, and G. Taentzer. Towards automatic translation of UML models into semantic domains. In Proc. AGT, pages 11-22, 2002.
15. R. Heckel and A. Wagner. Ensuring consistency of conditional graph rewriting -a constructive approach. ENTCS, 2, 1995.
16. D. Jackson. Alloy: A lightweight object modelling notation. ACM Trans. Software Engineering and Methodology, 11(2):256-290, 2002.
17. F. Klein and H. Giese. Separation of concerns for mechatronic multi-agent systems through dynamic communities. In SELMAS III, LNCS 3390, pages 272-289. Springer, 2005.
18. H. Köhler, U. Nickel, J. Niere, and A. Zündorf. Integrating UML diagrams for production control systems. In Proc. ICSE, pages 241-251. ACM, 2000.
19. D. Musliner, R. Goldman, M. Pelican, and K. Krebsbach. Self-adaptive software for hard real-time environments. IEEE Intelligent Systems, 14(4), 1999.
20. P. Ölveczky and J. Meseguer. Specification and analysis of real-time systems using Real-Time Maude. In Proc. FASE, LNCS 2984, pages 354-358. Springer, 2004.
21. A. Rensink. Towards model checking graph grammars. In Proc. AVoCS, pages 150-160. University of Southampton, 2003.
22. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume 1. World Scientific Pub Co, 1997.
23. J. Sztipanovits, G. Karsai, and T. Bapty. Self-adaptive software for signal processing. Commun. ACM, 41(5):66-73, 1998.
24. D. Varró. Automated formal verification of visual modeling languages by model checking. Software and System Modeling, 3(2):85-113, 2004.