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
<?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>