AGILE: Software Architecture for Mobility

Andrade, Luis Filipe; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; Nicola, Rocco De; Fiadeiro, José Luiz; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cláudia; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawłocki, Artur

doi:10.1007/978-3-540-40020-2_1

Cited by 19 publications

(13 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some of the techniques proposed by the AGILE project [2] are closer to our approach. AGILE develops an architectural approach by extending existing specification languages and methods to support mobility: UML stereotypes are used to extend UML class, sequence and activity diagrams in order to describe how mobile objects can migrate from one host to another, and how they can be hosts to other mobile objects.…”

Section: -P4mentioning

confidence: 89%

Software Reuse of Mobile Systems based on Modelling

Guo

Liu

2016

MATEC Web of Conferences

View full text Add to dashboard Cite

show abstract

Section: -P4mentioning

confidence: 89%

Software Reuse of Mobile Systems based on Modelling

Guo

Liu

2016

MATEC Web of Conferences

View full text Add to dashboard Cite

show abstract

“…We show here how the approach described above can be applied to the airport case study [2] of FET-GC project AGILE [1]. Since we are not aiming at tackling the whole case study, but just at showing how PSHR can be applied, we will do some simplifications.…”

Section: The Airport Case Studymentioning

confidence: 99%

“…We apply this approach to the airport case study [2], which has been proposed inside the FET-GC project AGILE [1] on architectures for mobility. We show that parametric synchronization allows a simpler model than the one presented in [4], where a synchronized version of Double Pushout [7] based on a fixed two-parties synchronization is used.…”

Section: Introductionmentioning

confidence: 99%

Exploiting User-definable Synchronizations in Graph Transformation

Lanese

2008

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

Parametric Synchronized Hyperedge Replacement (PSHR) is a graph transformation formalism where productions specifying the behavior of single components can be synchronized to give full transitions. The main feature of PSHR is that the synchronization model is user-definable. To enhance the applicability of the approach we propose a simplified and more suggestive semantics, preserving however the expressive power of the original one. We also show how some common synchronization models can be formalized and exploited inside PSHR. This allows to simplify the modelling step, and the produced model too. We apply this approach to the airport case study of FET-GC project AGILE.

show abstract

“…Closer to our approach are some of the techniques proposed by the AGILE project [5], extending existing specification languages and methods. UML class, sequence, and activity diagrams are extended be features to describe how mobile objects can migrate from one host to another, and how they can be hosts to other mobile objects.…”

Section: Related Workmentioning

confidence: 99%

“…Other extensions are based on architectural description languages, like the parallel program design language CommUnity [3,5]using graph transformation to describe the dynamic reconfiguration; Klaim as a programming language with coordination mechanisms for mobile components, services and resources; the specification language CASL as a means for providing architectural specification and verification mechanisms.…”

Section: Related Workmentioning

confidence: 99%

Conceptual Modeling of Styles for Mobile Systems

Heckel

Guo

2005

Mobile Information Systems

View full text Add to dashboard Cite

Abstract:When designing a mobile application, we have to be aware of the properties and facilities of the target platform. At a conceptual level, this platform can be specified by a style, defining the structures and operations available to applications. In this paper, we use an UML-like meta model for the structural aspect and graph transformation rules over its instances to specify the dynamics of a style of mobile systems. The model is layered to separate clearly the software from the hardware and the geographic view of the system.

show abstract

AGILE: Software Architecture for Mobility

Cited by 19 publications

References 20 publications

Software Reuse of Mobile Systems based on Modelling

Software Reuse of Mobile Systems based on Modelling

Exploiting User-definable Synchronizations in Graph Transformation

Conceptual Modeling of Styles for Mobile Systems

Contact Info

Product

Resources

About