Show simple item record

dc.contributor.authorSánchez Palma, Pedro 
dc.contributor.authorLetelier Torres, Patricio 
dc.contributor.authorRamos Salavert, Isidro 
dc.date.accessioned2009-02-25T13:23:03Z
dc.date.available2009-02-25T13:23:03Z
dc.date.issued1997-10
dc.identifier.citationSÁNCHEZ, P., LETELIER, P., RAMOS, I. Constructs for prototyping information systems with object petri nets. En: IEEE International Conference on Systems Man and Cybernetics (1997: Orlando, Florida). 1997 IEEE International Conference on Systems, Man, and Cybernetics: Computational Cybernetics and Simulation , Orlando, Florida, USA. October 12-15. Piscataway, N.J., 1997. 4260 - 4265 vol.5. ISBN 0-7803-4053-1es
dc.identifier.isbn0-7803-4053-1
dc.description.abstractOASIS (Open and Active System Information Specification) is a language for the specification of object-oriented conceptual models. Object Petri nets (OPNs) support a full integration of object-oriented concepts into Petri nets. We propose a way to represent the object-oriented concepts used in the OASIS language with OPNs as a suitable semantic model for validating software specifications. We have developed a basic execution model for OASIS specifications, including its main features. Communication aspects between objects are taken into account in our proposal (triggering mechanism and shared events). We consider: event preconditions reducing the worlds to be reached, attribute valuations changing the states of objects, the creation and deletion of objects, and life-cycles of objects. OPNs are an appropriate semantic foundation for building a concurrent software engineering environment for distributed computation because they allow a natural representation of concurrence. We show how the object-oriented concepts of an OASIS specification are represented in OPNses
dc.formatapplication/pdf
dc.language.isoenges
dc.publisherInstitute Electrical and Electronics Engineers.es
dc.rightsCopyright © 1997 IEEEes
dc.titleConstructs for prototyping information systems using object petri netses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.subjectRedes Petries
dc.subjectInformación de sistemases
dc.subjectProgramas de multiprocesamientoes
dc.subjectLenguajes orientados al objetoes
dc.subjectLenguajes de especificaciónes
dc.subjectIngeniería de softwarees
dc.subject.otherLenguajes y Sistemas Informáticoses
dc.identifier.urihttp://hdl.handle.net/10317/734
dc.identifier.doi10.1109/ICSMC.1997.637369


Files in this item

This item appears in the following Collection(s)

Show simple item record