[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2009, Vol. 35 Issue (1) :117-121    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
�� Ө1, ��ï��1, �� ��2*
1. �������պ����ѧ �����ѧԺ, ���� 100191;
2. �������պ����ѧ ����ϵͳ����ϵ, ���� 100191
Testing control flow of composite service
Yu Ying1, Jin Maozhong1, Huang Ning2*
1. School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China;
2. Dept. of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ���Web����������(OWL-S,Web Ontology Language for Services)������ʱ̬�߼�����(LTL, Linear Temporal Logic),�о����ڲ��Ե���Ϸ���������ʽ�����������Ͷ�̬������Ϣ��������.��OWL-S��Ϊ��Ϸ��������ο�ģ��,������Ϸ����׼����ʽ�������������ϵķ�ʽ,������ʱ̬�߼��̻�OWL-S���ƽṹ�Ķ�̬����,��ȷ�ر�ʾ�����ƽṹ�и��ɷֵ�ִ��˳��.��һ��������ʱ̬�߼���ʽ����������Ϸ���Ŀ���������,�Ӷ�ʹԭ�ӷ���Ľ���ģʽ������ȷ�ı�ʾ.�������ֽ���ģʽ��ʾ,����LTL������״̬�����ϵ�����,����Ϸ���ʵ��ִ�й����л�ȡ�Ķ�̬��Ϣ���з���,������Ϸ���ʵ�ֵ�ִ�й�������Ϸ�������������һ����.
Email Alert
�ؼ����� �������   ��Ϸ���   ������   Web����������   ����ʱ̬�߼�     
Abstract�� OWL-S (Web ontology language for services) and linear temporal logic were used to investigate formal method of describing composite service flow for testing and analyzing dynamic testing information. OWL-S was used as requirements reference model of composite service. Combination of composite service standard and formal method was adopted. Linear temporal logic was used to describe dynamic semantics of control constructs in OWL-S. Accordingly control flow requirements of composite service was described by a set of linear temporal logic formulae. Besides the existing advantage of OWL-S, the describing method can explicitly express atomic services interaction pattern and the describing result can be used as reference model of testing composite service implementation. Based on the explicit expression and semantic model of linear temporal logic on finite execution traces, dynamic testing information captured during composiste service execution was analyzed to test the correspondence between composite service execution and composite service control flow requirements.
Keywords�� software testing   composite service   control flow   OWL-S(Web ontology language for services)   linear temporal logic     
Received 2008-03-11;


About author: �� Ө(1976��),Ů,���ֳ�����,��ʿ��,fennyyu@126.com.
�� Ө, ��ï��, �� ��.��Ϸ������������[J]  �������պ����ѧѧ��, 2009,V35(1): 117-121
Yu Ying, Jin Maozhong, Huang Ning.Testing control flow of composite service[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2009,V35(1): 117-121
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2009/V35/I1/117
Copyright 2010 by �������պ����ѧѧ��