Os Métodos Formais na Análise de Orientação por Objectos
Resumo
O método ROOA (Rigorous Object-Oriented Analysis) introduz rigor no processo de análise orientado pelos objectos, oferecendo um conjunto de regras que permite produzir sistematicamente um modelo formal de análise orientado pelos objectos a partir dos requisitos originais. Este modelo, escrito na linguagem LOTOS, proporciona uma especificação precisa e não ambígua dos requisitos iniciais do sistema. Como à especificação é executável, podemos usar a prototipagem rápida para validar e refinar o modelo formal.Referências
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-59, 1987.
E. Brinksma (ed). Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique on the Temporal Ordering of Observation Behaviour, ISO 8807, 1988.
D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An Object-Oriented Extension to Z. In Son T. Vuong, editor, Formal Description Techniques, II, pages 281-295, North-Holland, December 1989.
R.G. Clark. Using LOTOS in the Object-Based Development of Embedded Systems. In C.M.L. Rattray and R.G. Clark, editors, Unified Computation Laboratory, pages 307-319. Oxford University Press, 1992.
P. Coad and E. Yourdon. Object Oriented Analysis. Yourdon Press, Prentice-Hall, 2nd edition, 1991.
H. Eertink. Executing LOTOS Specifications: The SMILE Tool. In Third LotoSphere Workshop and Seminar, September 1992.
H. Ebrig and B. Mahr. Fundamentals of Algebraic Specifications, volume 1. Springer-Verlag, 1985.
N.E. Fuchs. Specifications are (preferably) Executable. Software Engineering Journal, 7(5):323-334, 1992.
I.J. Hayes and C.B. Jones. Specifications are not (Necessarily) Executable. Software Engineering Journal, 4(6):330-338, November 1989.
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
ISO/IEC JTC1/SC21/WGT. Basic Reference Model of Open Distributed Processing. Technical report, 1993.
I. Jacobson. Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, 1992.
C.B. Jones. Software Development. A Rigorous Approach. Prentice Hall, 1980.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
A.M.D. Moreira and R.G. Clark. Rigorous Object-Oriented Analysis. Technical Report TR 109, Computing Science Department, University of Stirling, Scotland, 1993.
K.S. Rubin and A. Goldberg. Object Behaviour Analysis. Communications of the ACM, 35(9):48-62, 1992.
S. Rudkin. Inheritançe in LOTOS. In K.R. Parker and G.A. Rose, editors, Formal Description Techniques, IV, pages 409-423, North-Holland, 1992.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice-Hall, 1991.
S. Shlaer and S.J. Mellor. Object Lifecyeles - Modeling the World in States. Prentice-Hall, 1992.
E. Brinksma (ed). Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique on the Temporal Ordering of Observation Behaviour, ISO 8807, 1988.
D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An Object-Oriented Extension to Z. In Son T. Vuong, editor, Formal Description Techniques, II, pages 281-295, North-Holland, December 1989.
R.G. Clark. Using LOTOS in the Object-Based Development of Embedded Systems. In C.M.L. Rattray and R.G. Clark, editors, Unified Computation Laboratory, pages 307-319. Oxford University Press, 1992.
P. Coad and E. Yourdon. Object Oriented Analysis. Yourdon Press, Prentice-Hall, 2nd edition, 1991.
H. Eertink. Executing LOTOS Specifications: The SMILE Tool. In Third LotoSphere Workshop and Seminar, September 1992.
H. Ebrig and B. Mahr. Fundamentals of Algebraic Specifications, volume 1. Springer-Verlag, 1985.
N.E. Fuchs. Specifications are (preferably) Executable. Software Engineering Journal, 7(5):323-334, 1992.
I.J. Hayes and C.B. Jones. Specifications are not (Necessarily) Executable. Software Engineering Journal, 4(6):330-338, November 1989.
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
ISO/IEC JTC1/SC21/WGT. Basic Reference Model of Open Distributed Processing. Technical report, 1993.
I. Jacobson. Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, 1992.
C.B. Jones. Software Development. A Rigorous Approach. Prentice Hall, 1980.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
A.M.D. Moreira and R.G. Clark. Rigorous Object-Oriented Analysis. Technical Report TR 109, Computing Science Department, University of Stirling, Scotland, 1993.
K.S. Rubin and A. Goldberg. Object Behaviour Analysis. Communications of the ACM, 35(9):48-62, 1992.
S. Rudkin. Inheritançe in LOTOS. In K.R. Parker and G.A. Rose, editors, Formal Description Techniques, IV, pages 409-423, North-Holland, 1992.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice-Hall, 1991.
S. Shlaer and S.J. Mellor. Object Lifecyeles - Modeling the World in States. Prentice-Hall, 1992.
Publicado
27/10/1993
Como Citar
MOREIRA, Ana M. D.; CLARK, Robert G..
Os Métodos Formais na Análise de Orientação por Objectos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 7. , 1993, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 238-252.
DOI: https://doi.org/10.5753/sbes.1993.24408.
