Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247123897> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2247123897 startingPage "11" @default.
- W2247123897 abstract "Abstract: The Clock Constraint Specification Language (CCSL), first introduced as a companion language for Modeling and Analysis of Real-Time and Embedded systems (MARTE), has now evolved beyond the time specification of MARTE, and has become a full-fledged domain specific modeling language widely used in many domains. This report demonstrates the encoded PVS (Prototype Verification System) theories for interpreting clock relation and clock expression based on schedules as a sequence of clock set. In order to ensure the correctness of the encodings, we prove some interesting properties about the clock constraint. Finally, we give an example to illustrate the approach. Key-words: CCSL, Syntax & semantics, PVS 1 School of Computer Engineering and Science, Shanghai University – qgxu@mail.shu.edu.cn 2 INRIA Sophia Antipolis Mediterranee AOSTE – Robert.de_simone@inria.fr 3 University of Nice Sophia Antipolis, University of Nice Sophia Antipolis, – Julien.Deantoni@plytech.unice.fr † This work is partially supported by the Natural Science Foundation of China (Grant No. 61170044)." @default.
- W2247123897 created "2016-06-24" @default.
- W2247123897 creator A5022201782 @default.
- W2247123897 creator A5088556682 @default.
- W2247123897 creator A5088893880 @default.
- W2247123897 date "2015-06-25" @default.
- W2247123897 modified "2023-09-28" @default.
- W2247123897 title "Logical Clock Constraint Specication in PVS" @default.
- W2247123897 cites W105975728 @default.
- W2247123897 cites W1590675544 @default.
- W2247123897 cites W169508303 @default.
- W2247123897 cites W2017863278 @default.
- W2247123897 cites W2053137492 @default.
- W2247123897 cites W2145533676 @default.
- W2247123897 cites W2207342287 @default.
- W2247123897 cites W2271800372 @default.
- W2247123897 cites W2540349344 @default.
- W2247123897 cites W88044012 @default.
- W2247123897 cites W2164185476 @default.
- W2247123897 hasPublicationYear "2015" @default.
- W2247123897 type Work @default.
- W2247123897 sameAs 2247123897 @default.
- W2247123897 citedByCount "0" @default.
- W2247123897 crossrefType "journal-article" @default.
- W2247123897 hasAuthorship W2247123897A5022201782 @default.
- W2247123897 hasAuthorship W2247123897A5088556682 @default.
- W2247123897 hasAuthorship W2247123897A5088893880 @default.
- W2247123897 hasConcept C127413603 @default.
- W2247123897 hasConcept C154945302 @default.
- W2247123897 hasConcept C184337299 @default.
- W2247123897 hasConcept C199360897 @default.
- W2247123897 hasConcept C2776036281 @default.
- W2247123897 hasConcept C41008148 @default.
- W2247123897 hasConcept C55439883 @default.
- W2247123897 hasConcept C60048249 @default.
- W2247123897 hasConcept C78519656 @default.
- W2247123897 hasConceptScore W2247123897C127413603 @default.
- W2247123897 hasConceptScore W2247123897C154945302 @default.
- W2247123897 hasConceptScore W2247123897C184337299 @default.
- W2247123897 hasConceptScore W2247123897C199360897 @default.
- W2247123897 hasConceptScore W2247123897C2776036281 @default.
- W2247123897 hasConceptScore W2247123897C41008148 @default.
- W2247123897 hasConceptScore W2247123897C55439883 @default.
- W2247123897 hasConceptScore W2247123897C60048249 @default.
- W2247123897 hasConceptScore W2247123897C78519656 @default.
- W2247123897 hasLocation W22471238971 @default.
- W2247123897 hasOpenAccess W2247123897 @default.
- W2247123897 hasPrimaryLocation W22471238971 @default.
- W2247123897 hasRelatedWork W1527974051 @default.
- W2247123897 hasRelatedWork W1569085791 @default.
- W2247123897 hasRelatedWork W1599126164 @default.
- W2247123897 hasRelatedWork W1606961277 @default.
- W2247123897 hasRelatedWork W166127254 @default.
- W2247123897 hasRelatedWork W1855247349 @default.
- W2247123897 hasRelatedWork W1908616852 @default.
- W2247123897 hasRelatedWork W1979818150 @default.
- W2247123897 hasRelatedWork W1997676396 @default.
- W2247123897 hasRelatedWork W2051913344 @default.
- W2247123897 hasRelatedWork W2131622288 @default.
- W2247123897 hasRelatedWork W2271800372 @default.
- W2247123897 hasRelatedWork W2540349344 @default.
- W2247123897 hasRelatedWork W2555652147 @default.
- W2247123897 hasRelatedWork W2613326299 @default.
- W2247123897 hasRelatedWork W2730662181 @default.
- W2247123897 hasRelatedWork W2943346267 @default.
- W2247123897 hasRelatedWork W3150067715 @default.
- W2247123897 hasRelatedWork W75631880 @default.
- W2247123897 hasRelatedWork W2523902456 @default.
- W2247123897 isParatext "false" @default.
- W2247123897 isRetracted "false" @default.
- W2247123897 magId "2247123897" @default.
- W2247123897 workType "article" @default.