Message
The goal of my research is to
provide effective languages, methods, and supporting environments
for developing reliable and robust complex software systems.
To reach this goal, my own and my group's research has been
centered on the development of a formal engineering method
called SOFL, standing for Structured Object-Oriented Formal
Language, and the rigorous software verification techniques,
such as fault tree analysis and testing. Recently, I am
more interested in research on internet-based intelligent
software engineering supporting environments, and application
of formal engineering methods to safety-critical and complex
computer systems.
My hobby includes table tennis, soccer,
and Karaoke.
>PAGE TOP
Publications(January 2001 - December 2001)
- Takaaki Nakano, Shaoying Liu, "Improving Software
Process Quality Using Formal Engineering Methods",
Proceedings of Foundation of Software Engineering 2001 (FOSE2001),
Kindai Science Press¤November 2001, pp.163-166.
Abstract - Many software
projects fail because they are not well managed. One of
the key reasons for the poor management is that the process
is not precisely specified and analyzed before projects
are carried out. In this paper, we put forward an approach
to defining software processes using the formal specification
language SOFL, standing for Structured Object-oriented
Formal Language. We discuss how to use various resources,
such as software, hardware, human, budget, time, and so
on, and describe an example to demonstrate how this approach
can be applied in practice.
- Shaoying Liu, Jin Song Dong, "Class and Module
in SOFL", Proceedings of The Second Asia-Pacific Conference
on Quality Software", IEEE Computer Society Press,
Hong Kong, 10-11 December 2001, pp. 241-245.
Abstract - SOFL is a
formal language and method for system specification and
design. It was developed by integrating Petri Nets, Data
Flow Diagrams, and VDM-SL. As the major feature of the
original SOFL method is to use structured techniques for
analysis and specification, and object-oriented techniques
for design and implementation, SOFL has its own implementation
language that is similar to C++. However, during our recent
work of applying SOFL to software systems, the transformation
of structured specifications to object-oriented implementations
creates some difficulties, simply because of paradigms
mismatch. In this paper we extend SOFL to a formal object-oriented
language and method while keeping its structured features.
This will allow powerful object-oriented reuse mechanism,
such as class inheritance and object composition, to be
utilized in the early phases, and transformation from
SOFL specifications to commercial object-oriented programming
languages to be readily achieved.
>PAGE TOP
|
|
|
