Abstract
In this paper we present a new component concept equivalent to the one of [2] which is more appropriate for distributed applications. After that, we present the notion of component system and define a set of operations of component systems, some of which are used to define an ambient calculus [1] with component systems. Finally we present an example.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A generic component framework for system modeling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306. Springer, Heidelberg (2002)
Jensen, O., Milner, R.: Bigraphs and mobile processes. Technical report, University of Cambridge, UCAM-CL-TR-57
Mann, S., Borusan, A., Ehrig, H., Grosse-Rhode, M., Mackenthun, R., Sunbul, A., Weber, H.: Towards a component concept for continuos software engineering. Technical Report Bericht 55/00, Institut Software-und Shystemtechnik (2000)
Orejas, F., Ehrig, H.: Components for algebra transformation systems. Electronic Notes in Theoretical Computer Science 82(7) (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mylonakis, N., Orejas, F. (2005). A Distributed and Mobile Component System Based on the Ambient Calculus. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds) Recent Trends in Algebraic Development Techniques. WADT 2004. Lecture Notes in Computer Science, vol 3423. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31959-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-31959-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25327-3
Online ISBN: 978-3-540-31959-7
eBook Packages: Computer ScienceComputer Science (R0)