Automatically assigned DDC number: 005117

Manually assigned DDC number: 005117

Number of references: 8

Title: Specification of Real-Time Interaction Constraints

Author:

Author:

Author:

Subject: Brian Nielsen,Shangping Ren,Gul Agha Specification of Real-Time Interaction Constraints

Description: We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraints, and our language supports expression thereof. In our language, a system is modeled by two separate but complementary descriptions: A collection of objects define the system's structure and functional behavior, and a set of interaction constraints define how these objects may interact. Our language thereby supports development of realtime systems by enabling objects build in isolation or reused from other systems to be composed via interaction constraints. We use the Actor model to describe objects and the concept of real-time synchronizers to describe interaction constraints. Our model is accompanied by a formal semantics that precisely defines what real-time constraints means, and what constitutes a program's correct real-time behaviors. The semantics defines how the system may evolve in the real-time doma...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-12-05

Format: ps

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

Source: http://osl.cs.uiuc.edu/Papers/nielsen-ren-agha.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/383894.html"   Type="article"   CiteSeer_Book="Journal   of   Functional   Programming"   CiteSeer_Volume="7"   Title="A   Foundation   for   Actor   Computation,">

            <identifier   Org="ISBN:0412797704"   Paper_ID="/383894.html"   Extracted="0412797704"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0521631688"   Paper_ID="/383894.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0521771846"   Paper_ID="/383894.html"   Extracted="0521771846"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792376838"   Paper_ID="/383894.html"   Extracted="0792376838"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540001069"   Paper_ID="/383894.html"   Extracted="3540001069"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354021366X"   Paper_ID="/383894.html"   Extracted="354021366X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354022906X"   Paper_ID="/383894.html"   Extracted="354022906X"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540269746"   Paper_ID="/383894.html"   Extracted="3540269746"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540410201"   Paper_ID="/383894.html"   Extracted="3540410201"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540613633"   Paper_ID="/383894.html"   Extracted="3540613633"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/383894.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540635866"   Paper_ID="/383894.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/383894.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="/383894.html"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/383894.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/383894.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540747915"   Paper_ID="/383894.html"   Extracted="3540747915"   />

            <identifier   Org="ISBN:981024021X"   Paper_ID="/383894.html"   Extracted="981024021X"   DDC="511.5"   Normalized_DDC="5115"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/72646.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="821"   Title="Real-Time   Specification   Inheritance   Anomalies   and   Real-Time   Filters,">

            <identifier   Org="ISBN:0070216266"   Paper_ID="/72646.html"   Extracted="0070216266"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0201309777"   Paper_ID="/72646.html"   Extracted="0201309777"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0387582029"   Paper_ID="/72646.html"   Extracted="0387582029"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0780348877"   Paper_ID="/72646.html"   Extracted="0780348877"   />

            <identifier   Org="ISBN:0792346246"   Paper_ID="/72646.html"   Extracted="0792346246"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818680466"   Paper_ID="/72646.html"   Extracted="0818680466"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540647376"   Paper_ID="/72646.html"   Extracted="3540647376"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/72646.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540654607"   Paper_ID="/72646.html"   Extracted="3540654607"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540760105"   Paper_ID="/72646.html"   Extracted="3540760105"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3896089277"   Paper_ID="/72646.html"   Extracted="3896089277"   />

            <identifier   Org="ISBN:9031319791"   Paper_ID="/72646.html"   Extracted="9031319791"   />

      </rec>

      <rec   ID="/497542.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="18"   Title="Compiling   Real-Time   Specifications   into   Extended   Automata,">

            <identifier   Org="ISBN:0412716208"   Paper_ID="/497542.html"   Extracted="0412716208"   DDC="004.62"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0769503063"   Paper_ID="/497542.html"   Extracted="0769503063"   />

            <identifier   Org="ISBN:0780338014"   Paper_ID="/497542.html"   Extracted="0780338014"   />

            <identifier   Org="ISBN:0792377370"   Paper_ID="/497542.html"   Extracted="0792377370"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818666005"   Paper_ID="/497542.html"   Extracted="0818666005"   />

            <identifier   Org="ISBN:3540198520"   Paper_ID="/497542.html"   Extracted="3540198520"   DDC="005.101512"   Normalized_DDC="005101512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540230688"   Paper_ID="/497542.html"   Extracted="3540230688"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540401237"   Paper_ID="/497542.html"   Extracted="3540401237"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540573186"   Paper_ID="/497542.html"   Extracted="3540573186"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/497542.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/497542.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/497542.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540609229"   Paper_ID="/497542.html"   Extracted="3540609229"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/497542.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/497542.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/497542.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540666524"   Paper_ID="/497542.html"   Extracted="3540666524"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/497542.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/497542.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/238440.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   Actor-Based   Framework   for   Real-Time   Coordination,">

            <identifier   Org="ISBN:0521771846"   Paper_ID="/238440.html"   Extracted="0521771846"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0769520545"   Paper_ID="/238440.html"   Extracted="0769520545"   />

            <identifier   Org="ISBN:0849314704"   Paper_ID="/238440.html"   Extracted="0849314704"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/238440.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/238440.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/64815.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Languages   Compilers      Tools   for   RealTime   Systems"   CiteSeer_Volume=""   Title="{RTsynchronizer}:   Language   Support   for   Real-Time   Specifications   in   Distributed   Systems,">

            <identifier   Org="ISBN:0120121468"   Paper_ID="/64815.html"   Extracted="0120121468"   />

            <identifier   Org="ISBN:0769520545"   Paper_ID="/64815.html"   Extracted="0769520545"   />

            <identifier   Org="ISBN:0780348877"   Paper_ID="/64815.html"   Extracted="0780348877"   />

            <identifier   Org="ISBN:0818687517"   Paper_ID="/64815.html"   Extracted="0818687517"   />

            <identifier   Org="ISBN:3540219889"   Paper_ID="/64815.html"   Extracted="3540219889"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/64815.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540243623"   Paper_ID="/64815.html"   Extracted="3540243623"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540406735"   Paper_ID="/64815.html"   Extracted="3540406735"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354067442X"   Paper_ID="/64815.html"   Extracted="354067442X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540729046"   Paper_ID="/64815.html"   Extracted="3540729046"   />

            <identifier   Org="ISBN:3540747915"   Paper_ID="/64815.html"   Extracted="3540747915"   />

      </rec>

      <rec   ID="/204508.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Guidelines   for   Automated   Implementation   of   Executable   Object   Oriented   Models   for   Real-Time   Embedded   Control   Systems,">

            <identifier   Org="ISBN:0769519563"   Paper_ID="/204508.html"   Extracted="0769519563"   />

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

            <identifier   Org="ISBN:0849379237"   Paper_ID="/204508.html"   Extracted="0849379237"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1402075014"   Paper_ID="/204508.html"   Extracted="1402075014"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1581135637"   Paper_ID="/204508.html"   Extracted="1581135637"   DDC="005.43"   Normalized_DDC="00543"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354022906X"   Paper_ID="/204508.html"   Extracted="354022906X"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354065075X"   Paper_ID="/204508.html"   Extracted="354065075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/359356.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   IEEE   Conference   on   Computer   Languages"   CiteSeer_Volume=""   Title="Semantics   for   Real-Time   Object-Oriented   Programming   Language,"   />

      <rec   ID="/61363.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   Chalmers   Workshop   on   Concurrency   1991"   CiteSeer_Volume=""   Title="An   Operational   Semantics   for   Timed   {CSP},">

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

            <identifier   Org="ISBN:0521771846"   Paper_ID="/61363.html"   Extracted="0521771846"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0816625719"   Paper_ID="/61363.html"   Extracted="0816625719"   DDC="303.48/33"   Normalized_DDC="3034833"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540212981"   Paper_ID="/61363.html"   Extracted="3540212981"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/61363.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/61363.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540438645"   Paper_ID="/61363.html"   Extracted="3540438645"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540544305"   Paper_ID="/61363.html"   Extracted="3540544305"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/61363.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540572082"   Paper_ID="/61363.html"   Extracted="3540572082"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540580271"   Paper_ID="/61363.html"   Extracted="3540580271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540587152"   Paper_ID="/61363.html"   Extracted="3540587152"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540602186"   Paper_ID="/61363.html"   Extracted="3540602186"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/61363.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/61363.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/61363.html"   Extracted="3540660100"   />

            <identifier   Org="ISBN:354066856X"   Paper_ID="/61363.html"   Extracted="354066856X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/61363.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354087562X"   Paper_ID="/61363.html"   Extracted="354087562X"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Specification   of   Real-Time   Interaction   Constraints">

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

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

            <identifier   Org="ISBN:1599040905"   Paper_ID="SELF"   Extracted="1599040905"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.5"   />

      </rec>

</references_metadata>

www.000webhost.com