AGILE: Software architecture for mobility

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2755, Issue , 2003, Pages 1-33

  Andrade, L ^f   Baldan, P ^h   Baumeister, H ^a   Bruni, R ^b   Corradini, A ^b   De Nicola, R ^c   Fiadeiro, J L ^f   Gadducci, F ^b   Gnesi, S ^d   Hoffman, P ^g   Koch, N ^a   Kosiuczenko, P ^a   Lapadula, A ^c   Latella, D ^d   Lopes, A ^e   Loreti, M ^c   Massink, M ^d   Mazzanti, F ^d   Montanari, U ^b   Oliveira, C ^e   Pugliese, R ^c   Tarlecki, A ^g   Wermelinger, M ^e   Wirsing, M ^a   Zawlocki A ^g   more..

^a UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF FLORENCE   (Italy)

^d ISTI CNR   (Italy)

^e UNIVERSITY OF LISBON   (Portugal)

^f ATX Software SA   (Portugal)

^g UNIVERSITY OF WARSAW   (Poland)

^h CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ARCHITECTURAL APPROACH; ARCHITECTURAL CONCEPTS; ARCHITECTURE-BASED; COMMUNICATION TOPOLOGIES; MATHEMATICAL FRAMEWORKS; SYSTEM CONSTRUCTION; TECHNOLOGICAL ADVANCES; TURBULENT ENVIRONMENTS;

AGILE MANUFACTURING SYSTEMS;

EID: 18544391503     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40020-2_1     Document Type: Article

References (38)

1. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. D. Mosses, D. Sannella, and A. Tarlecki. CASL: The common algebraic specification language. Theoretical Computer Science, 2003. To appear. See also the CASL Summary at http://www.brics.dk/Projects/CoFl/Documents/CASL/Summary/.
2. P. Baldan, A. Corradini, and B. König. Static analysis of distributed systems with mobility specified by graph grammars - A case study. In H. Ehrig, B. Krämer, and A. Ertas, editors, Integrated design and Process Technology. Society for Design and Process Science, 2002.
3. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, and Martin Wirsing. Extending activity diagrams to model mobile systems. In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World. International Conference NetObjectDays, NODe 2002, Erfurt, Germany, Oct. 7-10, 2002. Revised Papers, volume 2591 of LNCS, pages 278-293. Springer, 2003.
4. L. Bettini, M. Loreti, and R. Pugliese. Structured nets in Klaim. In Proc. of the 2000 ACM Symposium on Applied Computing (SAC'00), Special Track on Coordination Models, Languages and Applications, pages 174-180, 2000.
5. G. Bhat, R. Cleaveland, and O. Grumberg. Efficient on-the-fly model checking for CTL*. In Proceedings of Symposium on Logics in Computer Science, pages 388-397. IEEE, 1995.
6. K. Chandy and J. Misra. Parallel Program Design - A Foundation. Addison-Wesley, 1988.
7. A. Corradini and R. Heckel. Graph transformation and visual modelling techniques. In J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, and J.B. Wells, editors, ICALP Workshops 2000, volume 8 of Proceedings in Informatics, pages 357-486. Carleton Scientific, 2000.
8. A. Corradini, R. Heckel, and U. Montanari. Graphical Operational Semantics. In Rolim et al. [7], pages 357-486.
9. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In Grzegorz Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1: Foundations. World Scientific, 1997.
10. A. Corradini and F. Rossi. Hyperedge replacement jungle rewriting for term rewriting systems and logic programming. Theoretical Computer Science, 109:7-48, 1993.
11. R. De Nicola, G.-L. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 5(24):315-330, 1998.
12. G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In Proceedings of the Third International Conference on the Unified Modeling Language (UML'2000), volume 1939 of LNCS, pages 323-337. Springer, 2000.
13. A. Fantechil, S. Gnesi, F. Mazzanti, R. Pugliese, and E. Tronci. A symbolic model checker for ACTL. In International Workshop on Current Trends in Applied Formal Methods, number 1641 in LNCS. Springer - Verlag, 1999.
14. J.-C. Fernandez, D. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proceedings of Conference on Computer-Aided. Verification (CAV '96), number 1102 in LNCS, pages 348-359. Springer-Verlag, 1996.
15. G. L. Ferrari, U. Montanari, and E. Tuosto. Graph-based models of internetworking systems. In A. Haeberer, editor, Formal Methods at the Crossroads: from Panaces to Foundational Support, LNCS. Springer, 2003. To appear.
16. J. L. Fiadeiro, A. Lopes, and M. Wermelinger. A mathematical semantics for architectural connectors. In R. Backhouse and J. Gibbons, editors, Generic Programming, number 2793 in LNCS. Springer-Verlag, 2003.
17. J. L. Fiadeiro and T. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28:111-138, 1997.
18. F. Gadducci and U. Montanari. The Tile Model. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
19. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, pages 80-112, 1985.
20. S. Gnesi and F. Mazzanti. On the fly model checking of communicating UML State Machines. Technical report, ISTI, 2003. submitted for publication.
21. M. Gogolla, P. Ziemann, and S. Kuske. Towards an integrated graph based semantics for UML. In Paolo Bottoni and Mark Minas, editors, Electronic Notes in Theoretical Computer Science, volume 72. Elsevier Science, 2003.
22. Martin Gogolla. Graph transformations on the UML metamodel. In ICALP Workshop on Graph Transformations and Visual Modeling Techniques, pages 359-371. Carleton Scientific, 2000.
23. R. Heckel, J.M. Küster, and G. Taentzer. Confluence of typed attributed graph transformation systems. In Proceedings of the First International Conference on Graph Transformation (ICGT'2002), volume 2505 of LNCS, pages 161-176. Springer, 2002.
24. D. Hirsch and U. Montanari. Synchronized hyperedge replacement with name mobility. In K.G. Larsen and M. Nielsen, editors, Proceedings of CONCUR 2001, volume 2154 of LNCS, pages 121-136. Springer, 2001.
25. Dan Hirsch. Graph Transformation Models for Software Architecture Styles. PhD thesis, Universidad de Buenos Aires, Argentina, 2003. To appear.
26. B. König and U. Montanari. Observational Equivalence for Synchronized Graph Rewriting. In Proceedings TACS'01, volume 2215 of LNCS, pages 145-164. Springer, 2001.
27. P. Kosiuczenko. Sequence diagrams for mobility. In J. Krogstie, editor, Proc. of MobIMod workshop, Tampere, Finland, LNCS. Springer, Berlin, 2002. to appear.
28. D. Kozen. Results on the prepositional μ-calculus. Theoretical Computer Science, 27, 1983.
29. S. Kuske, M. Gogolla, R. Kollmann, and H.J. Kreowski. An integrated semantics for UML class, object and state diagrams based on graph transformation. In Integrated Formal Methods, Third International Conference, IFM 2002, volume 2335 of LNCS, pages 11-28. Springer, 2002.
30. Sabine Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, Proceedings of the Fourth International Conference on the Unified Modeling Language (UML'2001), number 2185 in LNCS, pages 241-256. Springer, 2001.
31. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proceedings of IFIP TC6/WG6.1 FMOODS '99. Kluwer Academic Publishers, 1999.
32. S. Merz, M. Wirsing, and J. Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In M. Pezzè, editor, Fundamental Approaches to Software Engineering (FASE 2003), Lecture Notes in Computer Science, Warsaw, Poland, April 2003. Springer-Verlag. To appear.
33. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
34. OMG. Unified Modeling Language (UML), version 1.5. www.omg.org, March 2003.
35. D. Pattinson and M. Wirsing. Making components move: A separation of concerns approach. In Proc. 1st International Workshop on Formal Methods for Components (FMCO'02), Lecture Notes in Computer Science. Springer-Verlag, 2002. To appear.
36. Detlef Plump. Term graph rewriting. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 2: Applications, Languages, and Tools. World Scientific, 1999.
37. M. von der Beeck. Formalization of UML-statecharts. In M. Gogolla and C. Kobryn, editors, Proceedings of the Fourth International Conference, number 2185 in LNCS, pages 406-421. Springer-Verlag, 2001.
38. T. Wieringa and J. Broersen. A minimal transition system semantics for lightweight class and behavioral diagrams. In ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques, 1998.