Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes
Resumo
Apesar do grande sucesso dos processos de desenvolvimento de software tradicionais na criação de guias e boas práticas de desenvolvimento, diversos aspectos do desenvolvimento de sistemas críticos concorrentes são negligenciados. Estes problemas são ainda mais acentuados em processos que suportam paradigmas emergentes, como o desenvolvimento dirigido a modelos. Neste contexto, propomos uma estratégia rigorosa de modelagem de sistemas concorrentes em UML-RT, baseada no Rational Unified Process. Nesta estratégia, apesar de cada passo de análise e projeto ser consistente e ser justificado por transformações de modelos que preservam o comportamento do sistema, todo o formalismo que suporta estas atividades é transparente para o desenvolvedor.Referências
Atkinson, C., Bayer, J., Laitenberger O., Zettel, J. Component-Based Software Engineering: The KobrA Approach. International Workshop On Component-Based Software Engineering, 2000.
Cole, L. , Piveta, E., Sampaio, A. RUP Based Analysis and Design with Aspect. XVIII Brazilian Symposium on Software Engineering – SBES, 2004.
Formal Systems (Europe) Ltd. Failures-Divergences Refinement: FDR2 User Manual, 1997. Disponível em http://www.fsel.com.
Fowler, M. UML Essencial 3ª edição, Porto Alegre, Bookman, 2005.
Godoi, R. Uma disciplina de Análise e Projeto para Aplicações Concorrentes, baseada no RUP. Dissertação de Mestrado. Centro de Informática, Universidade Federal de Pernambuco, Recife, Brasil, 2005.
Kruchten, P.. The Rational Unified Process An Introduction. Addison-Wesley, 2000.
Küster, J., Engels, G. Consistency Management within Model-Based Object-Oriented Development of Components. 2nd International Symposium on Formal Methods for Components and Objects, LNCS 3188, p. 157-176, 2004.
Tiago Massoni, Augusto Sampaio and Paulo Borba. A RUP-based Software Process Supporting Progressive Implementation. UML and Unified Process. p. 375-387 IRM Press, April 2003 [9] Morgan, C. Programming From Speci_cations. Second edn. Prentice Hall, 1994.
Ramos, R. Desenvolvimento Rigoroso com UML-RT. Dissertação de Mestrado. Centro de Informática, Universidade Federal de Pernambuco, Recife, Brasil, 2005.
Ramos, R., Sampaio, A., Mota, A. A Semantics for UML-RT Active Classes via Mapping into Circus. 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Volume 3535 of Lecture Notes in Computer Science, pp. 99-114, Springer (2005)
Ramos, R., Sampaio, A., Mota, A.. Transformation Laws for UML-RT. 8th IFIP international Conference on Formal Methods for Open Object-Based Distributed Systems, Bologna, Italy, 14 16 June (2006). To Appear.
Roscoe A. W. The Theory and Practice of Concurrency. Prentice Hall, 1998.
Sampaio, A., Mota, A., Ramos, R. Class and Capsule Refinement in UML for Real Time. Invited Paper. Brazilian Workshop on Formal Methods. Volume 95 of Electronic Notes in Theoretical Computer Science, pp. 23–51, Elsevier Science, 2004
Selic, B., Rumbaugh, J.. Using UML For Modeling Complex RealTime Systems. Rational Software Corporation, 1998. Disponível em http://www.rational.com.
Spivey, M.. The Z Notation: A Reference Manual. Second edn. Prentice Hall, 1992.
Woodcock, J., Cavalcanti, A. Semantics of circus, the. In the Formal Specification and Development in Z and B Conference , Volume 2272 of Lecture Notes in Computer Science, pp. 184–203. Springer-Verlag. 2002.
Cole, L. , Piveta, E., Sampaio, A. RUP Based Analysis and Design with Aspect. XVIII Brazilian Symposium on Software Engineering – SBES, 2004.
Formal Systems (Europe) Ltd. Failures-Divergences Refinement: FDR2 User Manual, 1997. Disponível em http://www.fsel.com.
Fowler, M. UML Essencial 3ª edição, Porto Alegre, Bookman, 2005.
Godoi, R. Uma disciplina de Análise e Projeto para Aplicações Concorrentes, baseada no RUP. Dissertação de Mestrado. Centro de Informática, Universidade Federal de Pernambuco, Recife, Brasil, 2005.
Kruchten, P.. The Rational Unified Process An Introduction. Addison-Wesley, 2000.
Küster, J., Engels, G. Consistency Management within Model-Based Object-Oriented Development of Components. 2nd International Symposium on Formal Methods for Components and Objects, LNCS 3188, p. 157-176, 2004.
Tiago Massoni, Augusto Sampaio and Paulo Borba. A RUP-based Software Process Supporting Progressive Implementation. UML and Unified Process. p. 375-387 IRM Press, April 2003 [9] Morgan, C. Programming From Speci_cations. Second edn. Prentice Hall, 1994.
Ramos, R. Desenvolvimento Rigoroso com UML-RT. Dissertação de Mestrado. Centro de Informática, Universidade Federal de Pernambuco, Recife, Brasil, 2005.
Ramos, R., Sampaio, A., Mota, A. A Semantics for UML-RT Active Classes via Mapping into Circus. 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Volume 3535 of Lecture Notes in Computer Science, pp. 99-114, Springer (2005)
Ramos, R., Sampaio, A., Mota, A.. Transformation Laws for UML-RT. 8th IFIP international Conference on Formal Methods for Open Object-Based Distributed Systems, Bologna, Italy, 14 16 June (2006). To Appear.
Roscoe A. W. The Theory and Practice of Concurrency. Prentice Hall, 1998.
Sampaio, A., Mota, A., Ramos, R. Class and Capsule Refinement in UML for Real Time. Invited Paper. Brazilian Workshop on Formal Methods. Volume 95 of Electronic Notes in Theoretical Computer Science, pp. 23–51, Elsevier Science, 2004
Selic, B., Rumbaugh, J.. Using UML For Modeling Complex RealTime Systems. Rational Software Corporation, 1998. Disponível em http://www.rational.com.
Spivey, M.. The Z Notation: A Reference Manual. Second edn. Prentice Hall, 1992.
Woodcock, J., Cavalcanti, A. Semantics of circus, the. In the Formal Specification and Development in Z and B Conference , Volume 2272 of Lecture Notes in Computer Science, pp. 184–203. Springer-Verlag. 2002.
Publicado
16/10/2006
Como Citar
GODOI, Robson; RAMOS, Rodrigo; SAMPAIO, Augusto.
Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 20. , 2006, Florianópolis.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2006
.
p. 113-128.
DOI: https://doi.org/10.5753/sbes.2006.21208.
