Paper Info
Title
TimeSquare: treat your models with logical time
Abstract
TimeSquare is an Eclipse and model-based environment for the specification, analysis and verification of causal and temporal constraints. It implements the MARTE Time Model and its specification language, the Clock Constraint Specification Language (ccsl). Both MARTE and ccsl heavily rely on logical time, made popular by its use in distributed systems and synchronous languages. Logical Time provides a relaxed form of time that is functional, elastic (can be abstracted or refined) and multiform. TimeSquare is based on the latest model-driven technology so that more than 60% of its code is automatically generated. It provides an XText-based editor of constraints, a polychronous clock calculus engine able to process a partial order conforming to the set of constraints and it supports several simulation policies. It has been devised to be connected to several back-ends developed as new plugins to produce timing diagrams, animate uml models, or execute Java code amongst others.
Year
DOI
Venue
2012
10.1007/978-3-642-30561-0_4
TOOLS (50)
Keywords
Field
DocType
xtext-based editor,animate uml model,new plugins,specification language,model-based environment,logical time,latest model-driven technology,clock constraint specification language,marte time model,java code
Specification language,Java code,Programming language,Clock constraint specification language,Unified Modeling Language,Model-driven architecture,Computer science,Time model,Eclipse,Plug-in
Conference
Volume
ISSN
Citations 
7304
0302-9743
36
PageRank 
References 
Authors
1.60
4
2
Name
Order
Citations
PageRank
Julien DeAntoni118018.34
Frédéric Mallet232834.84