GRACE Technical Report (TR)

GRACE technical reports are published as a means to ensure the timely publication of scholarly and technical work contributed by members of the Center for Global Research in Advanced Software Science and Engineering (GRACE).

GRACE-TR-2012-02:
Security Requirements Analysis and Validation with Misuse Cases and Institutional Modelling, Gideon Dadik BIBU, Nobukazu YOSHIOKA and Julian PADGET GRACE-TR-2012-02, GRACE Center, National Institute of Informatics, February 2012.18pages.

GRACE-TR-2012-01:
Meta-Models for Wireless Sensor Network Applications: Data, Group, and Node Views, Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden, GRACE-TR 2012-01, GRACE Center, National Institute of Informatics, February 2012. 9pages.

GRACE-TR-2011-07:
Towards Bidirectional Transformations on Ordered Graphs, Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano and Zhenjiang Hu, GRACE-TR-2011-07, GRACE Center, National Institute of Informatics, December 2011. 24pages.

GRACE-TR-2011-06:
Marker-directed Optimization of UnCAL Graph Transformations (revised version), Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano, GRACE-TR-2011-06, GRACE Center, National Institute of Informatics, November 2011. 26pages.

GRACE-TR-2011-05:
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), Technical Report GRACE-TR-2011-05, GRACE Center, National Institute of Informatics, August 2011. 10 pages.

GRACE-TR-2011-04:
Qing sun, Bo Wang, Zhenjiang Hu, Applying Bidirectional Transformation to Feature Model Refinement - Implementation Issues - , Technical Report GRACE-TR-2011-04, GRACE Center, National Institute of Informatics, August 2011. 14 pages.

GRACE-TR-2011-02:
Marker-directed optimization of UnCAL graph transformations, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano, GRACE-TR-2011-02, GRACE Center, National Institute of Informatics, June 2011. 22pages.

GRACE-TR-2011-01:
Simulation-based Graph Schema for View Updatability Checking of Graph Queries, Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, GRACE-TR-2011-01, GRACE Center, National Institute of Informatics, May 2011. 22pages.

GRACE-TR-2010-07:
Context-Preserving XQuery Fusion, Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, Technical Report GRACE-TR-2010-07, GRACE Center, National Institute of Informatics, September 2010, 21pages.

GRACE-TR-2010-06:
Bidirectionalizing Graph Transformations, Soichiro Hidaka, Zhenjiang Hu,Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano GRACE-TR-2010-06, GRACE Center, National Institute of Informatics, July 2010. 16 pages.

GRACE-TR-2010-04:
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Sound and Complete Validation of Graph Transformations, Technical Report GRACE-TR-2010-04, GRACE Center, National Institute of Informatics, May 2010. 29 pages.

GRACE-TR-2010-03:
Workshop on Industrial Applications of Formal Methods (Preliminary Draft Compilation), GRACE Center, March 2010, 66 pages.

GRACE-TR-2010-02:
Result Report of Grace Center, GRACE Center, March 2010, 39 pages.

GRACE-TR-2009-07:
Hironori Wasizaki, Nobukazu Yoshioka, Eduardo B. Fernandez and Jan Jurjens (Editors), Proceedings of the Third International Workshop on Software Patterns and Quality (SPAQu'09), Technical Report GRACE-TR-2009-07, GRACE Center, National Institute of Informatics, October 2009, 49 pages.

GRACE-TR-2009-06:
Yuting Chen, Zhenjiang Hu, AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach, Technical Report GRACE-TR-2009-06, GRACE Center, National Institute of Informatics,September 2009. 18 pages.

GRACE-TR-2009-04:
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, An Order-Sensitive Fusion for XQuery Technical Report GRACE-TR-2009-04, GRACE Center, National Institute of Informatics, September 2009, 28 pages.

GRACE-TR-2009-03:
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Structural Recursion on Graphs Technical Report GRACE-TR-2009-03, GRACE Center, National Institute of Informatics, August 2009. 41 pages.

GRACE-TR-2009-01:
Zhenjiang Hu, Jian Zhang (editors), Proceedings of the sixth Asian Workshop on Foundations of Software, Technical Report GRACE-TR-2009-01, GRACE Center, National Institute of Informatics, April 2009. 153 pages.

GRACE-TR-2008-05:
Hui Song, Yingfei Xiong, Zhenjiang Hu, Gang Huang, Hong Mei,A Model-Driven Framework for Constructing Runtime Architecture Infrastructures,Technical Report GRACE-TR-2008-05,GRACE Center, National Institute of Informatics,December 2008. 31 pages.

GRACE-TR-2008-04:
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Song Hui,Hong Mei,Beanbag: Operation-based Synchronization with Intra-relations,Technical Report GRACE-TR-2008-04,GRACE Center, National Institute of Informatics,December 2008. 33 pages.

GRACE-TR-2008-03:
J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors), Proceedings of the First International Workshop on Formal Methods Education and Training, Technical Report GRACE-TR-2008-03, GRACE Center, National Institute of Informatics, October 2008 79 pages.

GRACE-TR-2008-02:
S. Hidaka Z. Hu H. Kato K. Nakano, An Algebraic Approach to Bidirectional Model Transformation, Technical Report GRACE-TR-2008-01, GRACE Center, National Institute of Informatics, September 2008. 14 pages.

GRACE-TR-2008-01:
Soichiro Hidaka, Zhenjiang Hu, Yoshiyuki Kato, Keisuke Nakano, Towards Compositional Approach to Bidirectional Model Transformations, Technical Report GRACE-TR-2008-01, GRACE Center, National Institute of Informatics, August 2008. 37 pages.