We define a flexible abstract ambient concept which turned out to support current programming practice, in fact can be instantiated to apparently any environment paradigm in use in frameworks for distributed computing with heterogeneous components. For the sake of generality and to also support rigorous high-level system design practice we give the definition in terms of Abstract State Machines. We show the definition to uniformly capture the common static and dynamic disciplines for isolating states or concurrent behavior (e.g. handling of multiple threads for Java) as well as for sharing memory, patterns of object-oriented programming (e.g. for delegation, incremental refinement, encapsulation, views) and agent mobility. (C) 2011 Elsevier Inc. All rights reserved.
Autori interni: | |
Autori: | Börger E; Cisternino A; Gervasi V |
Titolo: | Ambient Abstract State Machines with applications |
Anno del prodotto: | 2012 |
Digital Object Identifier (DOI): | 10.1016/j.jcss.2011.08.004 |
Appare nelle tipologie: | 1.1 Articolo in rivista |