Analysing dynamic change in distributed software architectures1

IEE Proceedings: Software

Volumn 145, Issue 5, 1998, Pages 146-154

  Kramer, J ^a   Magee, J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Dynamic configuration; Performing beliavioiir; Software architectures

Indexed keywords

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; MATHEMATICAL MODELS;

DISTRIBUTED SOFTWARE ARCHITECTURES;

SOFTWARE ENGINEERING;

EID: 0032182387     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19982297     Document Type: Article

References (36)

1. AGNEW, B.HOFMEISTER, C. PURTILO, J..Planning for change: a reconfiguration language for distributed systems.Dislrib. Syst. Eng. J.Special issue on conβg. distrib. syst.1994, 1, (5), pp. 313-322
2. ALLEN, R. GARLAN, D..A formal basis for architectural connection.ACM Trans.. 1997, TOSEM-6, (3), pp. 213-249
3. ALLEN, R.DOUENCE, R. GARLAN, D..Specifying dynamism in software architectures.Foundations of ComponentBased Syst.1997
4. BARBACCI, M..Durra: a structure description language for developing distributed applications.IEE Software Eng. J.Special issue on conβg. distrib. syst.1993, 8, (2), pp. 83-94
5. BLOOM, T. DAY, M..Reconfiguration and module replacement in Argus: theory and practices.IEE Software Eng. J.Special issue on conβg. distrib. syst.1993, 8, (2), pp. 102-108
6. CHEUNG, S.C. KRAMER, J..Context constraints for compositional reachability analysis.ACM Trans.1996, TOSEM-5, (4), pp. 334-377
7. CHEUNG, S.C. KRAMER, J..Checking safety properties using compositional reachability analysis.ACM Trans.1998, TOSEM-00, (to appear)
8. CHEUNG, S.C.GIANNAKOPOULOU, D. KRAMER, J..Verification of liveness properties using compositional reachability analysis. 6th European Software engineering conference/Sth ACM SIGSOFT symposium on the Foundations of software engineering (ESEC/FSE 97), 1997, (Springer-Verlag, Zurich), Vol. LNCS 1301, pp. 227-243
9. GARLAN, D. PERRY, D.E..Introduction to the special issue on software architecture.IEEE Trans.1995, TOSE-21, (4), pp. 269-274
10. GIANNAKÇPOULOU, D.KRAMER, J. CHEUNG, S.C..Behaviour analysis of distributed systems using the tracta approach.Automated Software Eng. J.1999, 6, (1), (in press)
11. GIANNAKOPOULOU, D.MAGEE, J. KRÄMER J..Checking progress in concurrent systems.1998, submitted
12. GOLDMAN, K.J..The programmers' playground: I/O abstraction for user-configurable distributed applications.IEEE Trans.1995, SE-2I, (9), pp. 735-746
13. GRAVES, H..Lockheed environment for automatic programming.KBSE 91, 6th IEEE Knowledge based software engineering conference, 1991, pp. 68-76
14. KRAMER, J.MAGEE, J. SLOMAN, M.S..A software architecture for distributed computer control systems.Aittomatica, 1984, 20, pp. 93-102
15. KRAMER, J. MAGEE, J..Dynamic configuration for distributed systems.IEEE Trans.1985, SE-11, (4), pp. 424-4136
16. KRAMER, J.MAGEE, J. NG, K..Graphical configuration programming.IEEE Computer, 1989, 22, (10), pp. 53-65
17. KRAMER, J-, MAGEE, J. FINKELSTEIN, A..A constructive approach to the design of distributed systems. 10th IEEE international conference on Distributed computing systems, Paris, 1990, pp. 580-587
18. KRAMER, J. MAGEE, J.: The evolving philosophers problem: dynamic change management.IEEE Trans.1990, SE16, (11), pp. 1293-1306
19. KRAMER, J..Configuration programming: a framework for the development of distributable systems. IEEE international conference on Computer systems and software engineering (CompEuro 90), Tel-Aviv, Israel, 1990,pp. 374-384
20. KRÄMER, J. MAGEE, J..Exposing the skeleton in the coordination closet. 2nd IEEE international conference on Coordination models and languages, Coord '97, Berlin, (Springer-Verlag, 1997), Vol. LNCS 1282, pp. 18-31
21. +1 model of architecture.IEEE Software, 1995, 12, (6), pp. 42-50
22. LUCKHAM, D.C..Specification and analysis of software architecture using Rapide.IEEE Trans.1995, SE-21, (4), pp. 336-355
23. MAGEE, J.KRAMER, J. SLOMAN, M.S..Constructing distributed systems in Conic.IEEE Trans.1989, SE-15, (6), pp. 663-675
24. MAGEE, J.DULAY, N.EISENBACH, S. KRAMER, J..Specifying distributed software architectures. 5th European Software engineering conference (ESEC '95), Sitges, (Springer-Verlag, 1995), Vol. LNCS 989, pp. 137-153
25. MAGEE, J.DULAY, N. KRAMER, J..Régis: a constructive development environment for distributed programs.Distrib. Syst. Eng. J.Special issue on config. distrib. syst.1994, 1, (5), pp. 304-312
26. MAGEE, J. KRAMER, J..Dynamic structure in software architectures. 4th ACM SIGSOFT symposium on the Foundations of software engineering (FSE 4), San Francisco, 1996, Vol. SEN-21, (6), pp. 3-14
27. MAGEE, J.TSENG, A. KRAMER, J..Composing distributed objects in CORBA. Third international symposium on Autonomous decentralized systems (ISADS 97), Berlin, Germany, 1997
28. MAGEE, J.KRAMER, J. GIANNAKOPOULOU, D..Analysing the behaviour of distributed software architectures: a case study. 6th IEEE workshop on Future trends of distributed computing systems FTDCS 97, Tunis, 1997, pp. 240-247
29. MOAZAMI-GOUDARZI, K. KRAMER, J..Maintaining node consistency in the face of dynamic changes. 3rd IEEE international conference on Configurable distributed systems (CDS 96), Annapolis, 1996, pp. 62-69
30. NAUMOVICH, G..Applying static analysis to software architectures. 6th European Software engineering conference / 5th ACM SIGSOFT symposium on the Foundations of software engineering (ESEC/FSE 97), 1997, (Springer-Verlag, Zurich), Vol. LNCS 1301, pp. 77-93
31. NG, K.KRAMER, J. MAGEE, J..Automated support for the design of distributed software architectures.J. Automated Software Eng. (JASE), Special issue on CASE-91, 1996, 3, (3/4), pp. 261-284
32. OREIZY, P.MEDVIDOVIC, N. TAYLOR, R.N..Architecture-based runtime software evolution. 20th international conference on Software engineering (ICSE 98), Kyoto, 1998,pp. 177178
33. PURTILO, J.M.: The POLYLITH software bus.ACM Trans.1994, PL-16, (1) pp. 151-174
34. ROSCOE, A.W..The theory and practice of concurrency' (Prentice Hall, 1998)
35. SHAW, M..ions for software architecture and tools to support them.IEEE Trans.1995, SE-21, (4), pp. 314-335
36. WERMELINGER, M..A hierarchic architecture model for dynamic reconfiguration. 2nd IEEE international workshop on Software engineering for parallel and distributed systems, 1997, pp. 243-254