Mostrar el registro sencillo del ítem
Constructs for prototyping information systems using object petri nets
dc.contributor.author | Sánchez Palma, Pedro | |
dc.contributor.author | Letelier Torres, Patricio | |
dc.contributor.author | Ramos Salavert, Isidro | |
dc.date.accessioned | 2009-02-25T13:23:03Z | |
dc.date.available | 2009-02-25T13:23:03Z | |
dc.date.issued | 1997-10 | |
dc.identifier.citation | SÁNCHEZ PALMA, Pedro; LETELIER TORRES, Patricio y RAMOS SALAVERT, Isidro. 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, vol.5. Pp. 4260 - 4265. ISBN 0-7803-4053-1 | es |
dc.identifier.isbn | 0-7803-4053-1 | |
dc.description.abstract | OASIS (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 OPNs | es |
dc.format | application/pdf | |
dc.language.iso | eng | es |
dc.publisher | Institute Electrical and Electronics Engineers. | es |
dc.rights | Copyright © 1997 IEEE | es |
dc.title | Constructs for prototyping information systems using object petri nets | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.subject.other | Lenguajes y Sistemas Informáticos | es |
dc.subject | Redes Petri | es |
dc.subject | Información de sistemas | es |
dc.subject | Programas de multiprocesamiento | es |
dc.subject | Lenguajes orientados al objeto | es |
dc.subject | Lenguajes de especificación | es |
dc.subject | Ingeniería de software | es |
dc.identifier.uri | http://hdl.handle.net/10317/734 | |
dc.identifier.doi | 10.1109/ICSMC.1997.637369 |
Redes sociales