Abstract
The emerging infrastructures supporting transparent use of heterogeneous distributed resources enable the design of a new class of applications. These meta-applications are composed of distributed software components. In this paper we describe a new model for component based meta-application design based on a formal architectural description of the gross organization of an application. This structural description is enriched by a formal process algebraic characterization of component behavior. Using this behavioral model we can formally check meta-applications in an early development phase. We present simple architectural styles developed to support data-flow and control-flow driven meta-application design on top of the Amica metacomputing infrastructure.
Chapter PDF
Keywords
- Behavioral Model
- Label Transition System
- Architectural Style
- Architecture Description Language
- Early Development Phase
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Allen and D. Garlan. A formal basis for architectural connection. ACM TOSEM, 6(3):213–249, July 1997.
T. Fink and S. Kindermann. First steps in metacomputing with Amica. In Euromicro-PDP 2000, pages 197–204. IEEE Computer Society, 2000.
I. Foster and C. Kesselman. Globus: A metacomputing infrastructure toolkit. The International Journal of Supercomputer Applications and High Performance Computing, 11(2):115–128, 1997.
H. Garavel, M. Jorgensen, R. Mateescu, C. Pecheur, M. Sighireanu, and B. Vivien. CADP’97-status, applications, and perspectives. In Proceedings of 2nd COST 247 Int. Workshop on Applied Formal Methods in System Design, 1997.
D. Garlan, R.T. Monroe, and D. Wile. ACME: An architecture description interchange language. In Proceedings of CASCON’ 97, November 1997.
D. Garlan and M. Shaw. Software Architecture: Perspectives on an emerging Discipline. Prentice Hall, April 1996.
D. Giannakopoulou, J. Kramer, and S.C. Cheung. Behaviour analysis of distributed systems using Tracta. Journal of Automated Software Engineering, 6(1):7–35, January 1999. R. Cleaveland and D. Jackson, Eds.
A. Grimshaw, A. Ferrari, G. Lindahl, and K. Holcomb. Metasystems. Communications of the ACM, 41(11), 1998.
T. Haupt, E. Akarsu, and G. Fox. Webflow: a framework for web based metacomputing. In HPCN Europe’ 99, April 1999.
ISO/IEC. Lotos — a formal description technique based on the temporal ordering of observational behaviour. International Standard 8807, ISO — Information Processing Systems — OSI, Genève, September 1988.
R. Mateescu and H. Garavel. Xtl: A meta-language and tool for temporal logic model-checking. In Tiziana Margaria, editor, STTT’98 (Denmark), July 1998.
R.P. Mc Cormack, J.E. Koontz, and J. Devaney. Seamless computing with Web-Submit. Concurrency: Practice and Experience, 11(15):946–963, 1999.
M. Shaw and P. Clements. A field guide to boxology: Preliminary classification of architectural styles for software systems. In Proceedings COMPSAC, 1997.
J. Villacis, M. Govindaraju, D. Stern, A. Withaker, F. Berg, P. Deuskar, T. Benjamin, D. Gannon, and R. Bramley. Cat: A high performance, distributed component architecture toolkit for the grid. In Proceedings of the High Performance Distributed Computing Conference, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kindermann, S., Fink, T. (2000). An Architectural Meta-application Model for Coarse Grained Metacomputing. In: Bode, A., Ludwig, T., Karl, W., Wismüller, R. (eds) Euro-Par 2000 Parallel Processing. Euro-Par 2000. Lecture Notes in Computer Science, vol 1900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44520-X_173
Download citation
DOI: https://doi.org/10.1007/3-540-44520-X_173
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67956-1
Online ISBN: 978-3-540-44520-3
eBook Packages: Springer Book Archive