Research Thesis

♦Linguistic Foundation for Bidirectional Model Transformation
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei, Generating Synchronization Engines between Running Systems and their Model-Based Views, Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09), Denver, USA, October 5th, 2009. pp.11-20.

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009. (To appear)

Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283.

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009.

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, New Ideas and Emerging Results Track of 31st International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.

Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano,Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store,ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009),Savannah, Georgia, USA, Jan 24, 2009.

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009.

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation, Vol. 21, No. 1-2, Springer, June 2008. pp. 89-118.

Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.

Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.

♦Towards Formal Methods Body of Knowledge (FMBOK)
J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, "Preface:Special Issue on Formal Methods Education and Training", to appear in ACM SIGCSE Bulletin inroads, July (2009)

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, “Model Checking Education for Software Engineers in Japan”, to appear in ACM SIGCSE Bulletin inroads, July (2009)

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, "Preface:Special Issue on Formal Methods Education and Training", ACM SIGCSE Bulletin inroads, vol. 41, issue2, June, pp14-16 (2009)

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno,“Model Checking Education for Software Engineers in Japan”, ACM SIGCSE Bulletin inroads, vol. 41, issue2, June, pp45-50 (2009)

K. Taguchi, J. Davies, J. Gibbons, M. Hinchey, (editors) Proceedings of the first international workshop on Formal Methods Education and Training, to appear as a Nii technical report

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors), Proceedings of the first international workshop on Formal Methods Education and Training, Grace-TR-2008-03, Grace Center, National Institute of Informatics

♦PerQAS Project on Software Engineering for Composition and Delivery of Networked Services
Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS2009), July 2009

Basem Suleiman, Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), July 2009

Adrian Helmut David Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), November 2009

Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008.

Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC 2008), September 2008.

Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE Internatinal Conference on Services Computing (SCC2008), July 2008.

♦Sensor Networks Modeling Methodology
J. S. Dong, J. Sun, J. Sun, K. Taguchi, X. Zhang, “Specifying and Verifying Sensor Networks: an Experiment of Formal Methods”, Proceedings of International Conference on Formal Engineering Methods (ICFEM) ’08, Kitakyushu (2008)

J. S. Dong, J. Sun, J. Sun, K. Taguchi, X. Zhang, “Specifying and Verifying Sensor Networks: an Experiment of Formal Methods”, Proceedings of International Conference on Formal Engineering Methods (ICFEM) ’08, pp318-337, Springer, LNCS 5256, Kitakyushu (2008)

♦Software Engineering Project for Security and Safety
T. Okubo, K. Taguchi, N. Yoshioka, “Misuse cases + Assets + Security Goals”, to appear in Proceedings of International Workshop on Software Security Process (SSP) ’09, Vancouver (2009)

Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki: "Misuse Patterns", The Forth International Workshop "Dependability Aspects on Data Warehousing and Mining applications" (DAWAM), Fukuoka, Japan, March, 2009.

Eduardo Fernandez, Hironori Washizaki, Nobukazu Yoshioka, Atsuto Kubo, Yoshiaki Fukuzawa, "Classifying security patterns", Proc. of the 10th Asia Pacific Web Conference (APWeb), LNCS 4976, pp. 342--347, 2008.

Eduardo B. Fernandez, Jan Jurjens, Nobukazu Yoshioka, and Hironori Washizaki, Incorporating database systems into a secure software development methodology Proc. of 2nd International Workshop on Secure systems methodologies using patterns, Sep. 2008

Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.

♦Study of Measurement and Visualization of Software Quality Requirements
Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, and Kenji Kaijiri. Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. IEICE Transactions on Information and Systems, Vol. E93-D, No. 4, Apr. 2010. (To appear)

Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada,Haruhiko Kaiya, Kenji Kaijiri. A Systematic Method for Generating Quality Requirements Spectrum. ACM SAC 2009, Poster, Mar. 2009, Honolulu,Hawaii, USA.(To appear)

Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato and Kenji Kaijiri. Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. CAiSE09, 8-12 June 2009 Amsterdam, The Netherlands.(To appear)

Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, and Kenji Kaijiri. So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp. 255-262, Turku, Finland, 28 July - 1 Aug. 2008.

Motoshi Saeki and Haruhiko Kaiya. Metrics for a Model Driven Development Context. In 3rd International Conference on Evaluation on Novel Approaches to Software Engineering (ENASE 2008), pp. 13-22, Funchal, Madeira, Portugal, 4-7 May 2008. INSTICC.

Haruhiko Kaiya, Akira Osada, and Kenji Kaijiri. Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. IEICE Transactions on Information and Systems, Vol. E91-D, No. 4, pp. 897-906, Apr. 2008.

▼XAC Project
Remi Sharrock, Amin Cherbal, Levent Gurgen, Thierry Monteil, Shinichi Honiden: "Autonomic thinking for sensing devices", The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico. March 7-13, 2010 (to appear).

Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden: "Group Migration by Mobile Agents in Wireless Sensor Networks" Oxford Computer Journal, (to appear)

Levent Gurgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labbe, Claudia Roncancio, Shinichi Honiden: "Plug&Manage Heterogeneous Sensing Devices", (Demonstration) In Proceedings of the 6th International Workshop on Data Management for Sensor Networks (DMSN’09), in conjunction with VLDB’09. Lyon, France. August 24, 2009.

Levent Gurgen, Shinichi Honiden: "Management of networked sensing devices", The Second International Workshop on Sensor Network Technologies for Information Explosion Era (Sentie'09); in conjunction with International Conference on Mobile Data Management, MDM. May 2009.

Levent Gurgen, Shinichi Honiden: "An integrated management middleware for networked sensing systems", The Seventh International Conference on Pervasive Computing, Late Breaking Results. May 2009.

Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden: "Generative Dynamic Deployment of Multiple Components in Wireless Sensor Networks",Poster at the The Sixth International Conference on Wireless On-demand Network Systems and Services (WONS 2009), Snowbird, Utah, USA, February 2-4, 2009.

Yuichi Sei, Shinichi Honiden: "Reporter node determination of replicated node detection in wireless sensor networks", Third International Conference on Ubiquitous Information Management and Communication (ICUIMC-09), Suwon, Korea, January 15-16, 2009.

Yuichi Sei, Shinichi Honiden: "Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks" The Fourth International Wireless Internet Conference (WICON 2008), Maui, Hawaii, USA, November 17-19, 2008.

Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden: "An Efficient Node Selection Metric for In-network Process Deployment" The Fourth International Wireless Internet Conference (WICON 2008), Maui, Hawaii, USA, November 17-19, 2008.

Susumu Toriumi, Yuichi Sei, Shinichi Honiden: "Energy-Efficient Event Detection in 3D Wireless Sensor Networks" 1st. IFIP Wireless Days Conference 2008, United Arab Emirates, November 24 - 27, 2008.

Eric Platon , Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden:"Transparent Application Lifetime Management in Wireless Sensor Networks" Demo Track of the 10th International Conference on Ubiquitous Computing (UbiComp 2008), Seoul, South Korea, September 21- 24, 2008.

Shunichiro Suenaga, Shinichi Honiden: "Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks" Second International Workshop on Agent Technology for Sensor Networks (ATSN-08). Estoril, Portugal, May 13, 2008.

Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:"Region-based Sensor Selection for Wireless Sensor Networks" The IEEE International Workshop on Ad Hoc and Ubiquitous Computing (AHUC 2008). Taichung, Taiwan, June 11-13, 2008.

▼LIMT-RE: Legal Interpretation Management and Tracking - for and by Requirements Engineering
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden The 2nd International Workshop on Requirements Engineering and Law (RELAW'09) at RE 2009 2009年9月

▼Others
Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents - model checking mobility: The MobiOZ approach in International Journal of Agent-Oriented Software Engineering, Vol. 2:4 pp.449-474 (2008).

Nakagawa, K. Taguchi, S. Honiden: Constructing Formal Specifications from Requirements Specifications based on Model Transformation in Journal of IPSJ Vol.49 No.7 pp.2304-2318 (2008).

Invited Paper: Fuyuki Ishikawa and Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers, Vol.E92-B, No.01, pp.9--16, January 2009.

Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden, Model Checking Process with Goal Oriented Requirements analysis, 15th Asia-Pacific Software Engineering Conference, 2008, Beijing, China, 2008.