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 paper shows the clock model, for infinite clock, interpreted over natural number domain based on instant as well as state. The differences and the relations between the two representations are discussed. A state-transition system and its abstract form is proposed in order to analyze CCSL specification's features, such as potential deadlock, inconsistencies caused by introducing new constraints, and periodicity of admissible behavior. Finally, we examine some interesting features on a simple application by improving specification step by step. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-57708-1_3 | SOFL+MSVL |
Keywords | DocType | Volume |
CCSL,Clock model,State transition system,Infinite clock | Conference | 10189 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
2 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Qingguo Xu | 1 | 0 | 0.34 |
Huaikou Miao | 2 | 451 | 68.03 |
Robert de Simone | 3 | 1237 | 104.97 |
Julien DeAntoni | 4 | 2 | 1.06 |