[Modeling] New team member- Hong Zhu

Tue, 04 Mar 2003 11:41:46 -0500

> This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

--Boundary_(ID_MhJ1BsMcjve39HEYmIbCqQ)
Content-type: text/plain; charset=US-ASCII
Content-transfer-encoding: 7BIT

Hi all,

Am pleased to announce that we have a new Modeling TC member: Dr. Hong Zhu.

Dr. Hong Zhu, Senior Lecturer in Computing
Dept. of Computing, School of Technology
Oxford Brookes University
Wheatley Campus, Oxford OX 1HX, UK
Tel: ++44 1865 484580, Fax: 484545
Email: hzhu@brookes.ac.uk
http://www.brookes.ac.uk/~p0072431/zhuhomepage.html

A few of us met him at the AAMAS 2002 meeting in Bologna.  He would would
like to
participate and contribute in the following projects in particular.
(1) Class and Interaction Diagrams, both sub-projects Class Diagrams and
Interaction Diagrams.
(2) Modeling Areas, sub-projects on Environment and Levels
of abstraction. 

The following are some of his publications related to these subject:
[1] Zhu, H., SLABS: A Formal Specification Language for Agent-Based Systems,
International Journal of Software Engineering and Knowledge Engineering,
Vol. 11. No. 5, pp529~558. Nov. 2001
[2] Zhu, H., Formal Specification of Evolutionary Software Agents, Proc.
ICFEM'2002, Shanghai, China, Oct. 2002, Springer LNCS 2495, Formal Methods
and Software Engineering, George, C. and Miao, H., (eds), 2002, pp249~261.
[3] Zhu, H., Formal Specification of Agent Behaviour through Environment
Scenarios, April 2000, First Goddard Workshop on Formal Approaches to
Agent-Based Systems, April 5-7, 2000, NASA Goddard Space Flight Center.
Springer LNAI.
[4] Zhu, H., The role of caste in formal specification of MAS, Proc. of
PRIMA'2001, Springer LNCS 2132, Taipei, Taiwan, July 2001.
[5] Zhu, H., Zhou, B., Mao, X.  and Duce, D., Agent-Oriented Formal
Specification of Web Services, Submitted to VIEWS'2003.
[6] Zhu, H. and Lightfoot, D., Caste: A Step Beyond Object Orientation,
submitted to JMLC'2003.

If you want copies of these papers, they can be downloaded from
http://www.jamesodell.com/archive/Zhu.zip

Cheers,

Jim

--Boundary_(ID_MhJ1BsMcjve39HEYmIbCqQ)
Content-type: text/html; charset=US-ASCII
Content-transfer-encoding: 7BIT

<HTML>
<HEAD>
<TITLE>New team member- Hong Zhu</TITLE>
</HEAD>
<BODY>
Hi all, 
 
Am pleased to announce that we have a new Modeling TC member: Dr. Hong Zhu. 
 
Dr. Hong Zhu, Senior Lecturer in Computing 
Dept. of Computing, School of Technology 
Oxford Brookes University 
Wheatley Campus, Oxford OX 1HX, UK 
Tel: ++44 1865 484580, Fax: 484545 
Email: hzhu@brookes.ac.uk 
http://www.brookes.ac.uk/~p0072431/zhuhomepage.html 
 
A few of us met him at the AAMAS 2002 meeting in Bologna. &nbsp;He would would like to 
participate and contribute in the following projects in particular. 
(1) Class and Interaction Diagrams, both sub-projects Class Diagrams and 
Interaction Diagrams. 
(2) Modeling Areas, sub-projects on Environment and Levels 
of abstraction. 
 
The following are some of his publications related to these subject: 
[1] Zhu, H., SLABS: A Formal Specification Language for Agent-Based Systems, 
International Journal of Software Engineering and Knowledge Engineering, 
Vol. 11. No. 5, pp529~558. Nov. 2001 
[2] Zhu, H., Formal Specification of Evolutionary Software Agents, Proc. 
ICFEM'2002, Shanghai, China, Oct. 2002, Springer LNCS 2495, Formal Methods 
and Software Engineering, George, C. and Miao, H., (eds), 2002, pp249~261. 
[3] Zhu, H., Formal Specification of Agent Behaviour through Environment 
Scenarios, April 2000, First Goddard Workshop on Formal Approaches to 
Agent-Based Systems, April 5-7, 2000, NASA Goddard Space Flight Center. 
Springer LNAI. 
[4] Zhu, H., The role of caste in formal specification of MAS, Proc. of 
PRIMA'2001, Springer LNCS 2132, Taipei, Taiwan, July 2001. 
[5] Zhu, H., Zhou, B., Mao, X. &nbsp;and Duce, D., Agent-Oriented Formal 
Specification of Web Services, Submitted to VIEWS'2003. 
[6] Zhu, H. and Lightfoot, D., Caste: A Step Beyond Object Orientation, 
submitted to JMLC'2003. 
 
If you want copies of these papers, they can be downloaded from 
http://www.jamesodell.com/archive/Zhu.zip 
 
 
Cheers, 
 
Jim 

</BODY>
</HTML>

--Boundary_(ID_MhJ1BsMcjve39HEYmIbCqQ)--