A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

Science of Computer Programming

Volumn 75, Issue 7, 2010, Pages 615-637

  Jung, Georg ^a   Hatcliff, John ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b Kansas State University   (United States)

Author keywords

Component oriented development; Meta modeling; Middleware; Model driven development; Software architecture; Type systems

Indexed keywords

ARCHITECTURAL CONSTRAINTS; ARCHITECTURAL MODELING; COMPONENT BASED SYSTEMS; COMPONENT MODEL; COMPONENT-ORIENTED; FIRST ORDER LOGIC; INDUSTRIAL STRENGTH; LARGE SYSTEM; METAMODELING; MODEL DRIVEN DEVELOPMENT; MULTI-LEVEL; SOFTWARE PRODUCT LINE; STEEP LEARNING CURVE; STRUCTURAL CONSTRAINTS; TYPE SYSTEMS;

ARCHITECTURE; DATA STRUCTURES; INDUSTRIAL RESEARCH; LINGUISTICS; MIDDLEWARE; QUERY LANGUAGES;

SOFTWARE ARCHITECTURE;

EID: 77950859834     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.12.008     Document Type: Article

References (44)

1. Clements P., and Northrop L. Software Product Lines (2002), Addison Wesley
2. Dashofy E.M., van der Hoek A., and Taylor R.N. An infrastructure for the rapid development of XML-based architecture description languages. Proceedings of the 24th International Conference on Software Engineering (ICSE) (2002), ACM Press 266-276
3. Garlan D., Monroe R., and Wile D. ACME: An architecture description interchange language. Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research. CASCON (1997), IBM Press 169-183
4. R. Monroe, Capturing software architecture design expertise with armani, Tech. Rep. CMU-CS-98-163, CMU School of Computer Science, 2000
5. Warmer J., and Kleppe A. The Object Constraint Language. 2nd edition (2003), Addison Wesley
6. Cadena web site, http://cadena.projects.cis.ksu.edu/
7. Gay D., Levis P., von Behren R., Welsh M., Brewer E., and Culler D. The nesC language: A holistic approach to networked embedded systems. Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (2003), ACM Press 1-11
8. Lau K.-K., and Wang Z. A survey of software component models. IEEE Transactions on Software Engineering 33 10 (2007) 709-724
9. Medvidovic N., and Taylor R.N. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26 1 (2000) 70-93
10. Á. Lédeczi, M. Maróti, A. Bakay, G. Karsai, J. Garrett, C.Y. Thomason, G.G. Nordstrom, P. Völgyesi, The generic modeling environment, in: Proceedings of the Workshop on Intelligent Signal Processing, 2001
11. Pierce B.C. Types and Programming Languages (2002), MIT Press
12. D. Gay, P. Levis, D. Culler, E. Brewer, nesC 1.1 language reference manual. http://nescc.sourceforge.net, May 2003
13. Ogden C.K., and Richards I.A. The Meaning of Meaning. 8th edition (1946), Harcourt, Brace & Co. first appeared in 1923
14. G. Jung, Structured interrelations of component architectures, Ph.D. Thesis, Kansas State University, Manhattan, Kansas, appears in Collection: All K-State Electronic Theses, Dissertations, and Reports. http://hdl.handle.net/2097/485, December 2007
15. Childs A., Greenwald J., Jung G., Hoosier M., and Hatcliff J. CALM and Cadena: Metamodeling for component-based product-line development. Computer 39 2 (2006) 42-50
16. International Organization for Standardization, Information technology-open systems interconnection-basic reference model: The basic model, ISO/IEC 7498-1, 1994
17. J. Hatcliff, W. Deng, M. Dwyer, G. Jung, V.P. Ranganath, Cadena: An integrated development, analysis, and verification environment for component-based systems, in: Proceedings of the 25th International Conference on Software Engineering (ICSE), vol. 841, IEEE Computer Society Press, 2003, pp. 160-173
18. N. Medvidovic, D.S. Rosenblum, R.N. Taylor, A type theory for software architectures, Technical Report UCI-ICS-98-14, Department of Information and Computer Science, University of California, Irvine, Febuary 1998
19. Abowd G., Allen R., and Garlan D. Using style to understand descriptions of software architecture. Proceedings of the 1st ACM SIGSOFT Symposium FSE (1993), ACM Press 9-20
20. Shaw M., and Garlan D. Software Architecture (1996), Prentice Hall
21. Di Nitto E., and Rosenblum D.S. Exploiting ADLs to specify architectural styles induced by middleware infrastructures. Proceedings of the 21st International Conference on Software Engineering (1999), IEEE Computer Society Press 13-22
22. A. Kompanek, Modeling a system with ACME. http://www.cs.cmu.edu/~acme
23. xADL 2.0 schemas, http://www.isr.uci.edu/projects/xarchuci/ext-overview.html
24. Karsai G., Maróti M., Lédeczi Á., Gray J., and Sztipanovits J. Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control Systems Technology 12 2 (2004) 263-278
25. Gokhale A., Balasubramanian K., and Lu T. CoSMIC: Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems. Companion to the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications (OOPSLA) (2004), ACM Press 218-219
26. Á. Lédeczi, G. Nordstrom, G. Karsai, P. Völgyesi, M. Maróti, On metamodel composition, in: Proceedings of the 2001 IEEE International Conference on Control Applications, CCA, 2001, pp. 756-760
27. G. Edwards, C. Seo, N. Medvidovic, Construction of analytic frameworks for component-based architectures, in: Proceedings of the 2007 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2007, pp. 147-160
28. P.H. Feiler, Modeling of system families, Tech. Rep. CMU/SEI-2007-TN-047, Software Engineering Institute, Carnegie Mellon University, 2007
29. P.H. Feiler, D.P. Gluch, J.J. Hudak, The architecture analysis & design language (AADL): An introduction, Tech. Rep. CMU/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University, 2004
30. Feiler P.H., Lewis B., Vestal S., and Colbert E. An overview of the SAE architecture analysis and design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering. Workshop on Architecture Description Languages. WADL. IFIP International Federation for Information Processing vol. 176 (2005), Springer 3-15
31. Binns P., Englehart M., Jackson M., and Vestal S. Domain-specific software architectures for guidance, navigation and control. International Journal of Software Engineering and Knowledge Engineering 6 2 (1996) 201-227
32. Medvidovic N., Oreizy P., Robbins J.E., and Taylor R.N. Using object-oriented typing to support architectural design in the c2 style. Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering (1996), ACM Press 24-32
33. Allen R., and Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6 3 (1997) 213-249
34. Magee J., and Kramer J. Dynamic structure in software architectures. Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering (1996), ACM Press 3-14
35. Blair G., Coupaye T., and Stefani J.-B. Component-based architecture: The Fractal initiative. Annals of Telecommunications 64 1-2 (2009) 1-4
36. Bruneton E., Coupaye T., Leclercq M., Quéma V., and Stefani J.-B. The Fractal component model and its support in Java. Software-Practice and Experience 36 11-12 (2006) 1257-1284
37. Léger M., Ledoux T., and Coupaye T. Reliable dynamic reconfigurations in the Fractal component model. Proceedings of the 6th International Workshop on Adaptive and Reflective Middleware (2007), ACM Press Art. No. 3
38. G. Barber, Service component architecture. http://www.osoa.org/display/Main/Service+Component+Architecture+Home
39. Matena V., Krishnan S., DeMichiel L., and Stearns B. Applying Enterprise Java Beans (2003), Addison Wesley
40. OMG formal/06-04-01 (CORBA component model specification, v4.0), 2006
41. Object management group. meta object facility, http://www.omg.org/mof/
42. Staníček Z., and Procházka F. The diamond tool: A way of effective development and utilization of knowledge. Kybernetika 40 3 (2004) 365-379
43. Barr M., and Wells C. Category Theory for Computing Science. International Series in Computer Science (1990), Prentice Hall
44. Margaria T., and Steffen B. Service engineering: Linking business and IT. IEEE Computer 39 10 (2006) 45-55