Automatically assigned DDC number: 005117

Manually assigned DDC number: 005117

Number of references: 4

Title: Life-Cycle Inheritance: A Petri-Net-Based Approach

Author:

Subject: T. Basten Life-Cycle Inheritance: A Petri-Net-Based Approach

Description: . Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific superclass. This means that methods and attributes defined for the superclass are also available for objects of the subclass. Existing methods for object-oriented modeling and design abstract from the dynamic behavior of objects when defining inheritance. Nevertheless, it would be useful to have a mechanism which allows for the inheritance of dynamic behavior. This paper describes a Petri-net-based approach to the formal specification and verification of this type of inheritance. We use Petri nets to specify the dynamics of an object class. The Petrinet formalism allows for a graphical representation of the life cycle of objects which belong to a specific object class. Four possible inheritance relations are defined. These inheritance relations can be verified automatically. Moreover, four powerful transformation rules...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-01-28

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/144825.html

Source: ftp://ftp.win.tue.nl/pub/techreports/tbasten/lcipn.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/17604.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   NFS   Workshop   on   Workflow   and   Process   Automation   in   Information   Systems"   CiteSeer_Volume=""   Title="{Petri-net-based   Workflow   Management   Software},">

            <identifier   Org="ISBN:0306466082"   Paper_ID="/17604.html"   Extracted="0306466082"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792380592"   Paper_ID="/17604.html"   Extracted="0792380592"   />

            <identifier   Org="ISBN:0792382161"   Paper_ID="/17604.html"   Extracted="0792382161"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1586033980"   Paper_ID="/17604.html"   Extracted="1586033980"   />

            <identifier   Org="ISBN:3540235787"   Paper_ID="/17604.html"   Extracted="3540235787"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/17604.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540631399"   Paper_ID="/17604.html"   Extracted="3540631399"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540782370"   Paper_ID="/17604.html"   Extracted="3540782370"   DDC="658/.05"   Normalized_DDC="65805"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:9058095029"   Paper_ID="/17604.html"   Extracted="9058095029"   />

      </rec>

      <rec   ID="/96738.html"   Type="article"   CiteSeer_Book="Information   Processing   Letters"   CiteSeer_Volume="58"   Title="Branching   Bisimilarity   is   an   Equivalence   Indeed!,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/96738.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0521875463"   Paper_ID="/96738.html"   Extracted="0521875463"   DDC="006.330151"   Normalized_DDC="006330151"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1846288576"   Paper_ID="/96738.html"   Extracted="1846288576"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354020363X"   Paper_ID="/96738.html"   Extracted="354020363X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540236635"   Paper_ID="/96738.html"   Extracted="3540236635"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540309462"   Paper_ID="/96738.html"   Extracted="3540309462"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442618"   Paper_ID="/96738.html"   Extracted="3540442618"   DDC="519.2/33"   Normalized_DDC="519233"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540631399"   Paper_ID="/96738.html"   Extracted="3540631399"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/96738.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:354066579X"   Paper_ID="/96738.html"   Extracted="354066579X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540739378"   Paper_ID="/96738.html"   Extracted="3540739378"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/96738.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540756973"   Paper_ID="/96738.html"   Extracted="3540756973"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/325066.html"   Type="booklet"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{A   Process-Algebraic   Approach   to   Life-Cycle   Inheritance:">

            <identifier   Org="ISBN:0792384296"   Paper_ID="/325066.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354041942X"   Paper_ID="/325066.html"   Extracted="354041942X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540631399"   Paper_ID="/325066.html"   Extracted="3540631399"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:9036517273"   Paper_ID="/325066.html"   Extracted="9036517273"   />

      </rec>

      <rec   ID="/153719.html"   Type="incollection"   CiteSeer_Book="Current   Trends   in   Theoretical   Computer   Science"   CiteSeer_Volume=""   Title="What   is   Branching   Time   Semantics   and   Why   to   Use   it?,">

            <identifier   Org="ISBN:0546663664"   Paper_ID="/153719.html"   Extracted="0546663664"   />

            <identifier   Org="ISBN:1402081405"   Paper_ID="/153719.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1586034588"   Paper_ID="/153719.html"   Extracted="1586034588"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540600299"   Paper_ID="/153719.html"   Extracted="3540600299"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540631399"   Paper_ID="/153719.html"   Extracted="3540631399"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Life-Cycle   Inheritance:   A   Petri-Net-Based   Approach">

            <identifier   Org="ISBN:0262161893"   Paper_ID="SELF"   Extracted="0262161893"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792374703"   Paper_ID="SELF"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792376838"   Paper_ID="SELF"   Extracted="0792376838"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792379233"   Paper_ID="SELF"   Extracted="0792379233"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792384296"   Paper_ID="SELF"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540205381"   Paper_ID="SELF"   Extracted="3540205381"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540222367"   Paper_ID="SELF"   Extracted="3540222367"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540222618"   Paper_ID="SELF"   Extracted="3540222618"   />

            <identifier   Org="ISBN:354041942X"   Paper_ID="SELF"   Extracted="354041942X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354043075X"   Paper_ID="SELF"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540434836"   Paper_ID="SELF"   Extracted="3540434836"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540631399"   Paper_ID="SELF"   Extracted="3540631399"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540646590"   Paper_ID="SELF"   Extracted="3540646590"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540661328"   Paper_ID="SELF"   Extracted="3540661328"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664483"   Paper_ID="SELF"   Extracted="3540664483"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

      </rec>

</references_metadata>