Research and Education Activities

I'm interested in abstract modeling, description, analysis and verification of functionality and quality of software and systems.

Specifically, I'm working on the following two areas:

See this page for detailed list of publications.

目次

Research on Services Computing and Cloud Computing

Development Method and Infrastructure for Adaptive Service Composition and Business Processes (Software Engineering Approaches)

Primary Publications (including co-authored)

  1. Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi, Formal Verification of Business Processes with Temporal and Resource Constraints, The 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), pp.1173-1180, October 2011
  2. Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle (ICSOC 2010)
  3. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Formal Model of Mobile BPEL4WS Process, International Journal of Business Process Integration and Management (IJBPIM), Vol. 1 Issue 3, pp.192-209, September 2006
  4. A Framework for Synthesis of Web Services and Mobile Agents, (International Journal of Pervasive Computing and Communications, 2005)

Modeling and Analysis of Functionality and Quality (QoS/SLA) in Clouds/Services Selection and Composition (Artificial Intelligence Approaches)

Primary Publications (including co-authored)

  1. Towards Robust Service Compositions in the Context of Functionally Diverse Services (WWW 2012, to appear)
  2. Towards Network-aware Service Composition in the Cloud (WWW 2012, to appear)
  3. Service Selection with Combinational Use of Functionally-Equivalent Services (ICWS 2011)
  4. QoS-aware Automatic Service Composition by Applying Functional Clustering (ICWS 2011)
  5. Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy (ICSOC 2010)
  6. A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns (ICSOC 2009)

Research and Education on Software Engineering (Primarily Formal Methods and Requirements Engineering)

Modelihng, Description, Transformation, Analysis and Verification in Requirements and Specifications

Primary Publications (including co-authored)

  1. Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java (Overture/VDM Workshop at FM 2011)
  2. Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering (RELAW Workshop at RE 2009)

Education and Applications of Approches in Formal Methods and Requirements Engineering for the (Japanese) Industry

Primary Publications (including co-authored)

  1. What Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project (TFM 2009)