Specifying Dynamic Distributed Software Architectures
Resumo
The concept of software architecture is important to the design of complex software systems, as it provides a model of the large scale structural properties of the system. lt is possible to find several formal models to depict static distributed software architecture. Nevertheless, notations for supporting architectural dynamism and evolution are still difficult to find in the literature. We present a formal framework to specify dynamic distributed applications to enable us to specify the dynamic behaviour of reconfigurable systems. This framework will help the designer to check the project suitability.
Referências
Gregory Abowd, Robert Allen, and David Garlan. Using Style to Understand Descriptions of Software Architecture. ACM Software Engineering Notes, 18(5), December 1993.
Paulo S. C. Alencar and Carlos J. P. de Lucena. A Logical Framework for Evolving Software Systems. Formal Aspects of Computing, 8:3-46, 1996.
Robert Allen, Remi Douence, and David Garlan. Specifying Dynamism in Software Architectures. Proceedings of Foundations of Component-Based Systems Workshop, September 1997.
Robert Allen, Remi Douence, and David Garlan. Specifying and Analysing Dynamic Software Architectures. Conference on Fundamental Approaches to Software Engineering, Lisbon, Portugal, March 1998.
Robert J. Allen. A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University, May 1997.
M. R. Barbacci, M. J. Gardner C. B. Weinstock, D. L. Doubleday, and R. Lichota. Durra: a Structure Description Language for Developing Distributed Applications. Software Engineering Journal, 8(2):83-94, March 1993.
Paolo Ciancarini and Cecilia Mascolo. Analyzing and Refining an Architectural Style. 10th International Conference of Z Users (ZUM97), Reading, UK. April 1997. Lecture Notes in Computer Science n. 1212, pages 349-368, April 1997.
David Garlan. What is Style? Proceedings of Dagshtul Workshop on Software Architecture, February 1995.
G. R. R. Justo and P. R. F. Cunha. Programming Distributed Systems with Configuration Languages. International Workshop on Configurable Distributed Systems. IEE, London, UK, pages 118-127, 1992.
G. R. Ribeiro Justo and P. R. Freire Cunha. Framework for Developing Extensible and Reusable Parallel and Distributed Applications. IEEE Conf. on Algorithms and Architectures for Parallel Processing, pages 29-36, 1996.
G. R. Ribeiro Justo, Virginia C. de Paula, and P. R. F. Cunha. Formal Specification of Evolving Distributed Software Architectures. International Workshop on Coordination Technologies for Information Systems (CTIS'98), in conjunction to Ninth Workshop of Database and Expert Systems Applications (DEXA 98), August 1998.
G.R.R. Justo, P.R.F. Cunha, and V.C.C. de Paula. Distributed Systems Programming Based on Configuration-Oriented Languages. XIX Informatics Latin-American Conference, Buenos Aires, Argentina, 1993.
David C. Luckham and James Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21(9):717-734, September 1995.
J. Magee, N. Dulay, and J. Kramer. A Constructive Development Environment for Parallel and Distributed Programs. 2nd International Workshop on Configurable Distributed Systems, SEI, Carnegie Mellon University. IEEE Computer Society Press., March 1994.
Jeff Magee, Naranker Dulay, Susan Eisenbach, and Jeff Kramer. Specifying Distributed Software Architectures. Fifth European Software Engineering Conference (ESEC'95), September 1995.
Nenad Medvidovic. ADLs and Dynamic Architecture Changes. Proceedings of the Second International Software Architecture Workshop (ISAW-8), San Francisco, CA, USA, pages 24-27, October 14-15 1996.
Neno Medvidovic. A Classification and Comparison Framework for Software Architecture Description Languages. Technical report, Department of Information and Computer Science, University of California, Irvine, USA. UCI-ICS-97-02, February 1997.
Mark Moriconi, Xiaolei Qian, and R. A. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineering, 21(4):356-372, April 1995.
Mark Moriconi and R. A. Riemenschneider. Introduction to SADL 1.0 - A Language for Specifying Software Architecture Hierarchies. Technical report, Computer Science Laboratory SRI International, SRI-CSL-97-01, March 1997.
Virginia C. de Paula, G. R. Ribeiro Justo, and P. R. F. Cunha. ZCL: A Formal Framework for Specifying Dynamic Distributed Software Architectures. Nineth European Workshop on Dependable Computing (EWDCY). Gdansk, Poland, May 1998.
Virginia Carvalho Carneiro de Paula. ZCL: A Formal Framework for Specifying Dynamic Distributed Software Architectures. Technical report, Department of Informatics, Federal University of Pernambuco, Recife, Brazil. PhD Thesis Proposal., July 1998.
Peyman Oreizy. Issues in the Runtime Modification of Software Architectures. Technical report, Department of Information and Computer Science, University of California, Irvine, USA. UCI-ICS-TR-96-35, August 1996.
Peyman Oreizy, Nenad Medvidovic, and Richard N. Taylor. Architecture-Based Runtime Software Evolution. Proceedings of the International Conference on Software Engineering (ICSE98), Kyoto, Japan, April 19-25 1998.
Matthias Radestock and Susan Eisenbach. Formalising System Structure. International Workshop on Software Specification and Design, IEEE Computer Society Press, pages 95-104, 1996.
M. D. Rice and S. B. Seidman. A Formal Model for Module Interconnection Languages. IEEE Transactions on Software Engineering, 20(1):88-101, January 1994.
Michael D. Rice and Stephen B. Seidman. Using Z as a Substrate for an Architectural Style Description Language. Technical report, Department of Computer Science, Colorado State University, USA. CS-96-120, September 1996.
M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. Spring-Verlag Lecture Notes in Computer Science, 1000, 1995.
Mary Shaw and David Garlan. Characteristics of Higher-level Languages for Software Architecture. Technical report, School of Computer Science, Carnegie Mellon University, USA. CMU-CS-94-210, December 1994.
Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
J. M. Spivey. The Z notation: A Reference Manual. Prentice Hall, 1989.
Paulo S. C. Alencar and Carlos J. P. de Lucena. A Logical Framework for Evolving Software Systems. Formal Aspects of Computing, 8:3-46, 1996.
Robert Allen, Remi Douence, and David Garlan. Specifying Dynamism in Software Architectures. Proceedings of Foundations of Component-Based Systems Workshop, September 1997.
Robert Allen, Remi Douence, and David Garlan. Specifying and Analysing Dynamic Software Architectures. Conference on Fundamental Approaches to Software Engineering, Lisbon, Portugal, March 1998.
Robert J. Allen. A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University, May 1997.
M. R. Barbacci, M. J. Gardner C. B. Weinstock, D. L. Doubleday, and R. Lichota. Durra: a Structure Description Language for Developing Distributed Applications. Software Engineering Journal, 8(2):83-94, March 1993.
Paolo Ciancarini and Cecilia Mascolo. Analyzing and Refining an Architectural Style. 10th International Conference of Z Users (ZUM97), Reading, UK. April 1997. Lecture Notes in Computer Science n. 1212, pages 349-368, April 1997.
David Garlan. What is Style? Proceedings of Dagshtul Workshop on Software Architecture, February 1995.
G. R. R. Justo and P. R. F. Cunha. Programming Distributed Systems with Configuration Languages. International Workshop on Configurable Distributed Systems. IEE, London, UK, pages 118-127, 1992.
G. R. Ribeiro Justo and P. R. Freire Cunha. Framework for Developing Extensible and Reusable Parallel and Distributed Applications. IEEE Conf. on Algorithms and Architectures for Parallel Processing, pages 29-36, 1996.
G. R. Ribeiro Justo, Virginia C. de Paula, and P. R. F. Cunha. Formal Specification of Evolving Distributed Software Architectures. International Workshop on Coordination Technologies for Information Systems (CTIS'98), in conjunction to Ninth Workshop of Database and Expert Systems Applications (DEXA 98), August 1998.
G.R.R. Justo, P.R.F. Cunha, and V.C.C. de Paula. Distributed Systems Programming Based on Configuration-Oriented Languages. XIX Informatics Latin-American Conference, Buenos Aires, Argentina, 1993.
David C. Luckham and James Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21(9):717-734, September 1995.
J. Magee, N. Dulay, and J. Kramer. A Constructive Development Environment for Parallel and Distributed Programs. 2nd International Workshop on Configurable Distributed Systems, SEI, Carnegie Mellon University. IEEE Computer Society Press., March 1994.
Jeff Magee, Naranker Dulay, Susan Eisenbach, and Jeff Kramer. Specifying Distributed Software Architectures. Fifth European Software Engineering Conference (ESEC'95), September 1995.
Nenad Medvidovic. ADLs and Dynamic Architecture Changes. Proceedings of the Second International Software Architecture Workshop (ISAW-8), San Francisco, CA, USA, pages 24-27, October 14-15 1996.
Neno Medvidovic. A Classification and Comparison Framework for Software Architecture Description Languages. Technical report, Department of Information and Computer Science, University of California, Irvine, USA. UCI-ICS-97-02, February 1997.
Mark Moriconi, Xiaolei Qian, and R. A. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineering, 21(4):356-372, April 1995.
Mark Moriconi and R. A. Riemenschneider. Introduction to SADL 1.0 - A Language for Specifying Software Architecture Hierarchies. Technical report, Computer Science Laboratory SRI International, SRI-CSL-97-01, March 1997.
Virginia C. de Paula, G. R. Ribeiro Justo, and P. R. F. Cunha. ZCL: A Formal Framework for Specifying Dynamic Distributed Software Architectures. Nineth European Workshop on Dependable Computing (EWDCY). Gdansk, Poland, May 1998.
Virginia Carvalho Carneiro de Paula. ZCL: A Formal Framework for Specifying Dynamic Distributed Software Architectures. Technical report, Department of Informatics, Federal University of Pernambuco, Recife, Brazil. PhD Thesis Proposal., July 1998.
Peyman Oreizy. Issues in the Runtime Modification of Software Architectures. Technical report, Department of Information and Computer Science, University of California, Irvine, USA. UCI-ICS-TR-96-35, August 1996.
Peyman Oreizy, Nenad Medvidovic, and Richard N. Taylor. Architecture-Based Runtime Software Evolution. Proceedings of the International Conference on Software Engineering (ICSE98), Kyoto, Japan, April 19-25 1998.
Matthias Radestock and Susan Eisenbach. Formalising System Structure. International Workshop on Software Specification and Design, IEEE Computer Society Press, pages 95-104, 1996.
M. D. Rice and S. B. Seidman. A Formal Model for Module Interconnection Languages. IEEE Transactions on Software Engineering, 20(1):88-101, January 1994.
Michael D. Rice and Stephen B. Seidman. Using Z as a Substrate for an Architectural Style Description Language. Technical report, Department of Computer Science, Colorado State University, USA. CS-96-120, September 1996.
M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. Spring-Verlag Lecture Notes in Computer Science, 1000, 1995.
Mary Shaw and David Garlan. Characteristics of Higher-level Languages for Software Architecture. Technical report, School of Computer Science, Carnegie Mellon University, USA. CMU-CS-94-210, December 1994.
Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
J. M. Spivey. The Z notation: A Reference Manual. Prentice Hall, 1989.
Publicado
13/10/1998
Como Citar
PAULA, Virginia C. de; JUSTO, G. R. Ribeiro; CUNHA, P. R. F..
Specifying Dynamic Distributed Software Architectures. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 12. , 1998, Maringá/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1998
.
p. 7-22.
DOI: https://doi.org/10.5753/sbes.1998.24016.
