T. Holvoet and P. Verbaeten, "PN-TOX: a Paradigm and Development Environment for Object Concurrency Specification," Proceeding of the Int'l Workshop on  Home/Search   Document Details and Download   Summary   Related Articles   Check

....to recognize some weakness of Petri net formalisms when specifying and modeling systems of various domains. Thus manyPetri net fanatics has been devoted to enhance and extend the theories and the techniques on Petri net. As results, object Petri nets such as OBJSA[2] COOPN 2[3] OCoN[6] PN TOX[7], LOOPN [10] OPNets[12] and G Nets[15] were suggested. However, these nets has been focused their only specific concerns among several concepts of object oriented paradigm[8] To gain the benefits in specifying the requirements of object oriented systems, concrete and comprehensive concepts of ....

....the notions of abstraction and refinement sufficiently. Abstraction mechanism must be able to abstract both behaviors and data value of the system to satisfy the duality property of Petri nets[11] However most OPNs do not provide such abstraction mechanism. Some OPNs suchas OBJSA[2] PN TOX[7], and OPNets[12] support the notion of inheritance, but do not support the overriding caused by modification of inherited properties. In the aspect of interaction between system components, mostly OPNs support the interaction by the peculiar communication mechanisms. OPNets support the ....

Holvoet, T. and Verbaeten, T.: 'PN-TOX: a Paradigm and Development Environment for Object Concurrency Specification', Int'l Workshop on OOMC'95, Italy, Jun., 1995, pp.60-72

....concepts in [28] is that none of them offers an overall satisfactory solution with respect to the described properties. A common problem is that object oriented concepts like encapsulation, inheritance, and polymorphism late binding are not always supported (e.g. 4] 6] 7] 12] 13] [18], 35] Furthermore, not all approaches support the dynamic instantiation of objects during the runtime of a system (e.g. 5] 20] 34] In turn, such proposals only allow for the modeling of systems with a fixed number of objects which in addition have to be identified already during the ....

....such approaches (which are partly intended to be used for the modeling of technical systems) are not well suited, because objects are usually instantiated and destroyed at a high rate during the runtime of such systems. Other approaches in the area of object oriented Petri Nets (e.g. 7] 17] [18]) are intended for the modeling of only certain aspects of objectoriented systems, augmenting notations like UML, OMT [33] and others. In consequence, not complete models but only parts of them have a formally defined semantics. Another common problem is that approaches often do not allow for the ....

T. Holvoet and P. Verbaeten. 'PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications '.In'Proceedings of the 16th International Conference on the Application and Theory of Petri-Nets', Turin, 1995.

....through Petri nets z object Fig. 8. Mutual integration of object oriented techniques and Petri nets 11 3.4. 2 PN TOX PN TOX (Petri Net Tool for Object Concurrency Specification) is based on the idea that an information system is a set of independent, but simultaneously interacting objects [HoVe95]. These objects, which are also called agents, characterize themselves through an independent behavior which is modeled with the help of Petri nets. As a result, the specification of large dynamic systems should be facilitated that can not be managed with centralized control mechanisms. PN TOX ....

....environment are defined. Then, the definition of coordination mechanisms between individual objects is performed with the help of special composition and coordination objects. In addition, different inheritance mechanisms between objects may be incorporated in the model 4 . 4 For details see [HoVe95]. driver in waiting room driver inside truck climb into truck start truck driver drives truck take a break turn off truck object net: Condition Event net INE interface man truck driver finish trip start truck driver takes a break continue trip Fig. 9. A PN TOX Petri net ....

[Article contains additional citation context not shown here]

Holvoet, T.; Verbaeten, P.: PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In: 1st Workshop on Object-Oriented Programming and Models of Concurrency within the 16th International Conference on Application and Theory of Petri nets. Turin 1995.

....objects, there is obviously a need for these objects to cooperate by communication. This approach gives a flat structure. Some methods based on the second approach are G nets (Deng 1993) Extended State Chart (Object Chart) Formalism, and Paradigm for Object Concurrency Specification (PN TOX) (Holvoet 1995). In this paper, we use the G net technique to model communication primitives. We have chosen G nets because they are designed for general modeling of complex distributed systems while most other O O Petri net schemes are defined for some specific types of applications. We assume that the reader ....

Holvoet, T.; P. Verbaeten. 1995. "PN-TOX: a paradigm and development environment for object concurrency specifications." In Proceedings of the 1 st OOPMC workshop (Torino, Italy, June).

....A particular kind of net may be chosen for its available research, or for its expressive power. We propose to model the behaviour of individual agents by separate nets in stead of modelling the entire system. One advantage that this entails immediately is what we call the multi model principle [HV95]. This means that different agents may have different kinds of nets as their behaviour description. Such a net describes the agent s internal concurrent behaviour (multiple concurrency activities may be performed within one agent) Furthermore, agents can model the coordination of a set of ....

T. Holvoet and P. Verbaeten. PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, ICATPN'95, Turin, Italy, 1995. To appear.

....for checking consistency of nets (not intermixing condition places with transitions with predicates, and so on) They should also support extensions or adaptations to the architecture, as well as perform run time simulation, and analysis. We recently started working on a non trivial PNTOX [HV95] application, which should provide some hands on expertise for ameliorating our tools and environment. ....

T. Holvoet and P. Verbaeten. PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, ICATPN'95, Turin, Italy, 1995. To appear.

....composition moor refined boat harbour Figure 6: A composition of a chart transition and a simple transition constitutes the basics for a development method that combines the ideas of net refinement and net composition. The idea for developing Petri charts arose from research concerning PN TOX [6], a paradigm and development environment for concurrent objectoriented programming using Petri net concurrency specifications. Modelling object cooperation through composition of the net representation of objects and using inheritance yields a good situation for applying the combination of net ....

T. Holvoet and P. Verbaeten. PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In Workshop on Object-Oriented Programming and Models of Concurrency, ICATPN'95, Turin, Italy, 1995. To appear.

.... from the presence of particular objects in its object spaces) can be modelled by a Petri net; since this part of the specification is encapsulated within the objects, any kind of net (form C E net, over P T nets towards high level nets) may be used for this purpose (the multi model principle, see [HV95]) independently of the net specification used for other objects. For passive objects (i.e. objects with only reactive behaviour) the net describes the object s protocol, denoting what sequence of messages the objects can process. Based on the formal semantics of the net, type theoretical issues, ....

T. Holvoet and P. Verbaeten. PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, ICATPN'95, Turin, Italy, 1995. To appear.

....release select free idle click free active acquire pen release pen holding pen chngename move change shape free release acquired grab object user pen Figure 7: A simple CSCW application. ough investigation of both generative communication and synchronization specifications in PNTOX ([3]) a language and development environment for agent based system development. 7 ....

T. Holvoet and P. Verbaeten. PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, ICATPN'95, Turin, Italy, 1995. To appear.

No context found.

T. Holvoet and P. Verbaeten, "PN-TOX: a Paradigm and Development Environment for Object Concurrency Specification," Proceeding of the Int'l Workshop on

No context found.

T. Holvoet and P. Verbaeten, "PN-TOX: a Paradigm and Development Environment for Object Concurrency Specification," Proceeding of the Int'l Workshop on Object-Oriented Programming and Models of Concurrency, Turin, Italy, June, 1995 http://wrcm.dsi.unimi.it/PetriLab/ws95/home.html

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC