Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos

• Ricardo Pereira e Silva UFSC
• Jean-Marie Farines UFSC

DOI: https://doi.org/10.5753/sbes.1991.24267

Resumo

O objetivo deste trabalho é propor uma metodologia, baseada na abordagem de tradução, para a implementação de sistemas especificados a partir do modelo Rede de Petri a Objetos (RPO). Esta metodologia de tradução parte de uma especificação formal e gera de forma semi-automática, um programa em uma linguagem de programação alvo - que para o presente trabalho é uma linguagem de programação distribuída, chamada Linguagem de Implementação de Sistemas (LIS), cujas principais características serão apresentadas neste artigo. As várias etapas da metodologia de tradução são descritas, como também o programa tradutor, que a automatiza.

Referências

Bruno,G.; Balsamo,A. (1986). "Petri Net-Based Object Oriented Modeling of Distributed Systems". OOPLSA'86 Conference, 284-293.

Bruno,G.; Marchetto,G., (1986). "Process Translatable Petri Nets for The Rapid Phototyping of Process Control Systems". IEEE Transactions on Software Engineering, vol.SE-12, no.2, 346-357.

Cantú,E.; Farines,J-M.; Garnousset,H.E., (1990). "Implementação de Especificações de Sistemas Descritos por Rede de Petri a Objetos". Anais do 8º Congresso Brasileiro de Automática, Belém, PA.

Cousin,B.; Estraillier,P., (1988). "Generation of Ada Code from Petri Nets Models". Rapport Laboratoire MASI/CNRS, Paris, France.

Colom,J.M,; Silva,M.; Villarroel,J.L., (1986). "On Software Implementation of Petri Nets and Colored Petri Nets using High-Level Concurrent Languagers". 7th Workshop on Application and Theory of Petri Nets, Zaragoza, Spain.

DeRemer,F.; kron,H.H., (1976). "Programming-in-the-Large Versus Progamming-in-the-Small". IEEE transactions on Software Engineering, vol.SE-2, N.2, 80-86.

Fraga,J.S.; Farines,J-M.; Abreu,W.M.; Silva,E.S.; Nacamura,L.; Coelho Filho,O., (1989). "ADES: Ambiente de Desenvolvimento e Execução de Software Distribuído". Anais do Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos: 151-158, Florianópolis, SC.

Genrich,H.J., (1987). "Predicate/Transition Nets". Report of Institut fur Methodiche Greendlagen, R.F.Germany.

Jensen,K., (1986). "Coloured Petri Nets". Lecture Notes in Computer Science, Springer-Verlag.

Li,P.; Von Thum,M.; Dillon,T.S., (1989). "Semiautomatic Implementation of Communication Protocolos from a Petri Net Based Specification Language Description". Proceedings of the 2th International Conference on Formal Description Techniques.

Nelson,R.A.; Haibt,L.; Sheridan,P.B., (1983). "Casting Petri Nets into Programs". IEEE Transactions on Software Engineering, vo.19, no.5, 590-602.

Sibertin-Blanc,C., (1985). "High-level Petri Nets with Data Structure". 6th European Workshop on Applications and Theory of Petri nets, Helsinski, Finland.

Silva,E.S., (1988). "Uma Linguagem de Programação de Componentes Elementares para Aplicações Distribuídas em Tempo Real: Projeto e Implementação". Dissertação de Mestrado do DEEL/UFSC, Florianópolis, SC.

Silva,R.P., (1990). "Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos". Dissertação de Mestrado do DEEL/UFSC, Florianópolis, SC.

Souza,L.E., (1988): "Um Suporte para a Configuração Estática de Sistemas Distribuídos Utilizando Abordagem por Linguagem: Projeto e Implementação". Dissertação de Mestrado do DEEL/UFSC, Florianópolis, SC.