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

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

Abstract


The aim of this work is to propose a methodology for the implementation of systems specified in Petri Nets with Objects (PNO). This methodology is based on semi-automatic translation of a formal specification in a program. The target language used in the present work is a distributed programing language which is called Systems Implementation Language (LIS), whose main features will be shown in this paper. The several stages of the translation methodology are described, as well as the translator software, which has been built.

References

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.
Published
1991-10-23
PEREIRA E SILVA, Ricardo; FARINES, Jean-Marie. Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 5. , 1991, Ouro Preto/MG. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1991 . p. 193-206. ISSN 2833-0633. DOI: https://doi.org/10.5753/sbes.1991.24267.