Active Objects and Distributed Components: Theory and Implementation
作者： Denis Caromel , Ludovic Henrio , Eric Madelaine
DOI: 10.1007/978-3-540-92188-2_6
关键词: Distributed computing 、 Active object 、 Feature (machine learning) 、 Distributed object 、 Programming paradigm 、 Component (UML) 、 Determinism 、 Computer science 、 Asynchronous communication 、 Theoretical computer science 、 Confluence
摘要: To achieve effective distributed components, we rely on an active object model, from which build asynchronous and components that feature the capacity to exhibit various valuable properties, as confluence determinism, for can specify behaviour. We will emphasise how important it is a precise formal programming practical component systems benefit theoretical inputs.
springer.com
researchgate.net 
sci-hub.st 参考文章(45)
Laurent Baduel, Françoise Baude, Denis Caromel, Arnaud Contes, Fabrice Huet, Matthieu Morel, Romain Quilici, Programming, Composing, Deploying for the Grid grid computing. pp. 205- 229 ,(2006) , 10.1007/1-84628-339-6_9
A. Arnold, Finite transition systems ,(1994)
Vivien Quéma, Thierry Coupaye, Eric Bruneton, Matthieu Leclercq, Jean-Bernard Stefani, The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems Software - Practice and Experience. ,vol. 36, pp. 1257- 1284 ,(2006) , 10.1002/SPE.V36:11/12
Grid Computing: Software Environments and Tools Springer-Verlag New York, Inc.. ,(2005) , 10.1007/1-84628-339-6
Applied Computational Geometry Towards Geometric Engineering Springer Berlin Heidelberg. ,(1996) , 10.1007/BFB0014474
Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu, A Specification Language for Distributed Components Implemented in GCM/ProActive The Common Component Modeling Example. pp. 418- 448 ,(2007) , 10.1007/978-3-540-85289-6_16
John Plaice, André Arnold, Finite transition systems: semantics of communicating systems Prentice Hall International (UK) Ltd.. ,(1994)
Akinori Yonezawa, Mario Tokoro, Object-oriented concurrent programming MIT Press. ,(1987)
Huimin Lin, Symbolic Transition Graph with Assignment international conference on concurrency theory. pp. 50- 65 ,(1996) , 10.1007/3-540-61604-7_47
Luca Cardelli, Denis Caromel, Ludovic Henrio, A Theory of Distributed Objects ,(2005)