Takuya Katayama President
B.E., M.E.and Ph.D.from Tokyo Institute of Technology (1962,1964,1971)
Associate at Tokyo Institute of Technology (1967), Associate Professor at Tokyo Institute of Technology (1974), Professor at Tokyo Institute of Technology (1985), Dean of school of information science at JAIST (1991-1993, 1997-1999), Director of Library at JAIST (1999-2003)
Object Oriented Methodology, Software Evolution, Fault-Tolerant Software, Formal Methods
Formal Approach to Object-Oriented Software Specification and Design
Object-oriented methodology for designing and constructing software is attracting much interest of both practitioners and researchers. Though it is considered the most promising approach to developing complex and advanced software, current practices lack formality by which we can use computer power more effectively in developing it. We are working on the formal approach to this methodology. Usually, software to be constructed is modeled from several view points in the methodologies. Formal languages for modeling the views, their semantics, checking and proving consistency among the models, process of incrementally constructing them, methods of generating executable software from them are being studied. We are also working in applying this formal approach to embedded software.
Principles and Mechanisms for Software Evolution
The fact that software can be changed or change itself to meet the change of its requirement, functionality and their operating environment is called software evolution. As manifested by the year 2000 problem, this is one of the most difficult and important problems in software. Revealing scientific and rational basis for software evolution is the challenge to software researchers. We have proposed a lattice theoretic principle which is expected to be a reference model in studying evolution problems. Execution of abstract programs operating on abstract data domain and their incremental reification is studied as a model of evolving programs gradually. We are going to apply this approach to object-oriented software.
Fault-tolerant software is the software which can continue providing its services or a part of the services despite failures of underlying operating environment. We have proposed a language for the fault-tolerant software based on attribute grammar, which is a kind of functional languages.Functional languages are considered to have much potential for fault-tolerant software as they are history insensitive. The language incorporates fault tolerant mechanisms such as replication and redoing. We are working on the implementation of the language for parallel and distributed computer systems connected by networks.
- An executable semantics of Object-Oriented models for simulation and theorem proving，Kenro Yatake and Takuya Katayama，Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008, pp.71-80, 2008.
- Non-Regular Adaptation of Services Using Model Checking，Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama，IEEE International Symposium on Object-Oriented/Component/Service-oriented Real-Time Distributed Computing，pp.170-174
- Modeling of Real-Time System Designs for Parametric Analysis，Chaiwat Sathawornwichit, Toshiaki Aoki and Takuya Katayama，16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA 2010)，pp.81-91
◇Lectures and Presentations
- Prototype Execution of Independently Constructed Object-Oriented Analysis Model，Toshiaki Aoki, Takuya Katayama，ECOOP Workshop onAutomating the Object-Oriented Software Development Methods，2001
- The SLXS Specification Language for Describing Consistency of XML Documents，Yasser Kotb, Katsuhiko Gondow and Takuya Katayama，WICS'2002，2002
- International Conference of Software Engineering，Program co-chair(1993)
- Precursory Research for Embryonic Science and Technology(PRESTO)，Supervisor
- the research for the future program，Project leader