Interfaces and metainterfaces for models and metamodels

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 401-415

  Hessellund, Anders ^a   Wa̧sowski, Andrzej ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE PLANNING; INFORMATION SYSTEMS; LINGUISTICS; MANAGEMENT INFORMATION SYSTEMS; MARKUP LANGUAGES; RESOURCE ALLOCATION;

CUSTOMIZATION OF COMPONENTS; ENTERPRISE RESOURCE PLANNING SYSTEMS; HEALTH CARE INFORMATION SYSTEMS; INFORMATION HIDINGS; MODELS AND METAMODELS;

MODELS;

EID: 56649097176     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_29     Document Type: Conference Paper

References (19)

1. Bosch, J.: Design & Use of Software Architectures - Adopting and evolving a product-line approach. Addison-Wesley, Reading (2000)
2. Hessellund, A., Czarnecki, K., Wasowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 46-60. Springer, Heidelberg (2007)
3. Nentwich, C., Emmerich, W., Finkelstein, A.: Static consistency checking for distributed specifications. In: ASE, p. 115. IEEE Computer Society, Los Alamitos (2001)
4. The Apache Software Foundation: The Open For Business Project (OFBiz) (2008) (May 7th, 2008), http://ofbiz.apache.org/
5. Health Information Systems Programme (HISP): District Health Information Software (DHIS) (2008) (May 7th, 2008), http://www.hisp.info/
6. Junker, U.: Configuration. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier Science Inc., New York (2006)
7. Chen, S.: Opening Up Enterprise Software: Why Enterprises are Adopting Open Source Applications (2006), http://www.opensourcestrategies.com/slides/
8. Valiente, G.: Algorithms on Trees and Graphs. Springer, Heidelberg (2002)
9. Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, CM. (eds.) EMSOFT 2001. LNCS, vol. 2211. Springer, Heidelberg (2001)
10. Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491. Springer, Heidelberg (2002)
11. Alfaro, L., Henzinger, T.A.: Interface automata. In: 9th Annual Symposium on Foundations of Software Engineering (FSE), pp. 109-120. ACM Press, New York (2001)
12. Larsen, K.G., Nyman, U., Wasowski, A.: Modal I/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421. Springer, Heidelberg (2007)
13. Larsen, K.G., Nyman, U., Wasowski, A.: Interface input/output automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085. Springer, Heidelberg (2006)
14. Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855. Springer, Heidelberg (2003)
15. Easwaran, A., Lee, I., Sokolsky, O.: Interface algebra for analysis of hierarchical real-time systems. In: Foundations of Interface Technologies (FIT) (2008)
16. Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Rich interfaces for dependability: Compositional methods for dynamic fault trees and Arcade models. In: Foundations of Interface Technologies (FIT) (2008)
17. Wright, A.K., Cartwright, R.: A practical soft type system for scheme. In: LISP and Functional Programming, pp. 250-262 (1994)
18. Thiemann, P.: Towards a type system for analyzing javascript programs. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 408-422. Springer, Heidelberg (2005)
19. Hessellund, A., Sestoft, P.: Flow analysis of code customizations. In: Vitek, J. (ed.) ECOOP. LNCS, vol. 5142, pp. 285-308. Springer, Heidelberg (2008)