Dynamic distributed software architecture design with PARSE-DAT

Proceedings - International Conference on Software Methods and Tools, SMT 2000

Volumn , Issue , 2000, Pages 199-207

  Liu, A ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; MEMORY ARCHITECTURE; SOFTWARE ARCHITECTURE; VERIFICATION;

AUTOMATIC DESIGN; DESIGN FAULTS; DISTRIBUTED SOFTWARE ARCHITECTURE; DYNAMIC FEATURES; GRAPHICAL DESIGNS; SOFTWARE ARCHITECTURE DESIGN; VERIFICATION METHODOLOGY;

SOFTWARE DESIGN;

EID: 84961629217     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SWMT.2000.890435     Document Type: Conference Paper

References (20)

1. Shaw, M. and Garlan, D. (1996) Software Architecture - Perspectives on an Emerging Discipline, Prentice-Hall, New Jersey.
2. Liu, A. and Gorton, I. (1995) Modelling Dynamic Distributed System Structures in PARSE, Proc. 4th Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press, California, 352-9.
3. Liu, A. and Gorton, I. (1996) Designing Distributed Object Systems with PARSE, Proc. 5th Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press, California, 335-42.
4. Gorton, I., Gray, J.P. and Jelly, I.E. (1995) Object-based Modelling of Parallel Programs, IEEE Parallel and Distributed Technology, Vol.3, No.2, Summer, 52-63.
5. Gorton, I., Chan, T.S. and Jelly, I.E. (1994) Engineering high quality parallel software using PARSE, in Lecture Notes in Computer Science 854, Proceedings of CONPAR-VAPP 94, Linz, Austria, September, 381-92, Springer-Verlag.
6. Milner, R. (1991) The Polyadic π-Calculus: a Tutorial, Laboratory for foundations of Computer Science, Computer Science Department, University of Edinburgh.
7. Milner, R., Parrow, J. and Walker, D (1992) A Calculus of Mobile Processes - Parts I & II, Information and Computation, Vol. 100, 1-77.
8. Victor, B. (1994) A Verification Tool for the Polyadic π-Calculus, Licentiate Thesis, Technical report DoCS 94/50, Dept. of Computer Systems, Uppsala University. May be obtained via ftp://ftp.docs.uu.se/pub/mwb/
9. Milner, R. (1989) Communication and Concurrency, Prentice Hall.
10. Liu, A., Gorton, I. and Zic, J. (1997) Formalising PARSE Design Notations with π-Calculus, internal report, Dept, of Computer Systems, School of Computer Science and Engineering, University of New South Wales.
11. MetaCase Consulting (1996) MetaEdit+ version 2.5, User's Guide, MicroWorks, Finland.
12. MetaCase Consulting (1996) MetaEdit+ version 2.5, Method Workbench User's Guide, MicroWorks, Finland.
13. MetaCase Consulting (1996) MetaEdit+ version 2.5, System Administrator's Guide, MicroWorks, Finland.
14. Magee, I., Dulay, N., Eisenbach, S. and Kramer, J. (1995) Specifying Distributed Software Architectures, Proc. of 5th European Software Engineering Conference (ESEC 95), Sitges, Spain, September.
15. Magee, J., Dulay, N. and Kramer, J. (1994) Regis: A Constructive Development Environment for Distributed Programs, IEE/IOP/BCS Distributed Systems Engineering, vol.1, no.5, pp.304-12, September.
16. Cheung, S.C. and Kramer, J. (1994) Tractable Dataflow Analysis for Distributed Systems, IEEE Transactions on Software Engineering, vol.20, no.8, August, pp.579-93.
17. Ng, K. and Kramer, J. (1995) Automated Support for Distributed Software Design, Proc. of 7th International Workshop on Computer-aided Software Engineering (CASE 95), Toronto, Canada, July.
18. Taylor, R.N., Medvidovic, N., Anderson, K., Whitehead, E.J., Robbins, J.E., Nies, K.A., Oreizy, P. and Dubrow, D.L. (1996) A Component and Message-Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, June 1996.
19. Oreizy, P., Medvidovic, N. and Taylor, R. (1998) Architecture-Based Runtime Software Evolution, to appear in the Proceedings of the International Conference on Software Engineering (ICSE'98). Kyoto, Japan, April 19-25.
20. nd Intl' Workshop on Software Engineering for Parallel and Distributed Systems, IEEE Computer Society Press, California, 270-76.