|
|
计算机科学技术学报 1998
An overview of Duration Calculus
|
Abstract:
TheDurationCalculus(abbreviatedDC)representsalogicalapproachtoformaldesignofreal-timesystems.DCisbasedonintervallOgic,andusestherealnumberstomodeltime,andBoolean-valued(i.e.{0,1}-valued)functionsovertimetomodelstatesandeventsofreaLtimesystems.Thedurationofastateinatimeintervalistheaccumulatedpresencetimeofthestateintheinterval.DCextendsintervallogicwithacalculustospecifyandreasonaboutpropertiesofstatedurations.TheresearchofDCwasintroducedintheProCoSproject(ESPRITBRA3104and7071),whent…
