Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study
作者： Albert Zundorf , Christian Heinzemann , Ruben Jubeh , Julian Suck
DOI:
关键词:
摘要: This paper addresses the topology analysis case study for Transformation Tool Contest 2010. The presents a car platoon merge protocol with dynamic number of participants. task is to compute reachability graph all system congurations generated by rewrite rules. Using Fujaba Real-Time Suite, we modeled as statechart in concrete syntax this more intuitive and use special generator derive corresponding rules ((6, 5)). has been combined hierarchical graphs library presented (12), reachable transition system.
tue.nl 参考文章(182)
Claudia Priesterjahn, Stefan Henkler, Wilhelm Schäfer, Martin Hirsch, Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering. pp. 153- 164 ,(2010)
S. N. M. KOPPARTY, Problems, acceptance and social inequality: a study of the deformed leprosy patients and their families. Leprosy Review. ,vol. 66, pp. 239- 249 ,(1995) , 10.5935/0305-7518.19950028
M Hatta, P R Klatser, S M van Beers, Patient contact is the major determinant in incident leprosy: implications for future control. International Journal of Leprosy and Other Mycobacterial Diseases. ,vol. 67, pp. 119- 128 ,(1999)
Olusegun A. Sogunro, Selecting a Quantitative or Qualitative Research Methodology: An Experience Educational research quarterly. ,vol. 26, pp. 3- ,(2002)
Holger Giese, Stefan Henkler, Martin Hirsch, Vladimir Rubin, Matthias Tichy, Modeling Techniques for Software-Intensive Systems IGI Global. pp. 21- 57 ,(2009) , 10.4018/978-1-59904-699-0.CH002
Sven Burmester, Holger Giese, Real-Time Statechart Semantics ,(2003)
E Shelley, Adjustment to Threatening Events ,(1983)
AMANDA LE GRAND, Women and leprosy: a review. Leprosy Review. ,vol. 68, pp. 203- 211 ,(1997) , 10.5935/0305-7518.19970028
S. RAO, V. GAROLE, S. WALAWALKAR, S. KHOT, N. KARANDIKAR, Gender differentials in the social impact of leprosy. Leprosy Review. ,vol. 67, pp. 190- 199 ,(1996) , 10.5935/0305-7518.19960019
Daniela Schilling, Holger Giese, Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models ,(2005)