Advanced Search
Volume 35 Issue 1
Jan.  2009
Turn off MathJax
Article Contents
Abstract
References
Journal of Beijing University of Aeronautics and Astronautics  > 2009  >  35(1): 117-121.
Ma Qingpeng, Wei Yingjie, Wang Cong, et al. Numerical simulation of high-speed water-entry cavity of cone cylinder[J]. Journal of Beijing University of Aeronautics and Astronautics, 2014, 40(2): 204-209. (in Chinese)
Citation: Yu Ying, Jin Maozhong, Huang Ninget al. Testing control flow of composite service[J]. Journal of Beijing University of Aeronautics and Astronautics, 2009, 35(1): 117-121. (in Chinese)
shu

Testing control flow of composite service

  • 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

  • Received Date: 11 Mar 2008
  • Publish Date: 31 Jan 2009
    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.

     

    • FullText(HTML)
    • References(0)
    • Relative Articles

  • Relative Articles

    [1]LI Yanhua, YANG Jie, ZHOU Jin, GE Jiaxin. Research on flight schedule optimization considering passengers' transit duration and transit service selection preference[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0900
    [2]ZHANG Y，ZHAO X Y，YANG S H，et al. Quality control model of CYGNSS sea surface wind speed retrieval based on ML combination[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（1）：20-29 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0220.
    [3]TANG Y，DAI Q，YANG M Y，et al. Software defect prediction algorithm for intra-membrane sparrow optimizing ELM[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（2）：643-654 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0438.
    [4]LI J，YANG D K，HONG X B，et al. Soil moisture algorithm testing of interference signal inversion with GNSS linearly polarized antenna[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（3）：874-885 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0282.
    [5]GENG Z T，ZHAO J Q. Design and development of virtual simulation experiment software of composite piezoelectric materials[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（11）：3377-3381 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0826.
    [6]LIU Z Y，ZHANG G，LIU H R，et al. Software robot-based application behavior simulation for cyber security range in industrial control field[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（7）：2237-2244 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0597.
    [7]SUN X M，MA X，LIU Y，et al. Adaptive sliding mode region reaching control for uncertain nonlinear systems[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（8）：2482-2491 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0647.
    [8]WANG H B，HE H，ZOU H J，et al. Nonlinear backstepping control of special EHA for rail grinding vehicles[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（8）：2439-2448 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0681.
    [9]QUAN Q，CHEN L. Control of non-affine nonlinear systems: A survey[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（8）：2367-2381 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0642.
    [10]SU Jinxin, XI Ziyan, DAI Yuting. Nonlinear fluid-structure interaction response analysis of a large flexible wing under strong gusts[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0278
    [11]JIN B，LI R，WANG D，et al. Service performance assessment method of single frequency SBAS[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（10）：3062-3073 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0785.
    [12]LIU H Y，MA Z Q，YE Y F，et al. Smart contracts-as-a-service with on-chain and off-chain collaboration[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（10）：3262-3273 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0784.
    [13]HU X，CHEN J M，LI H F. Software security vulnerability patterns based on ontology[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（10）：3084-3099 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0783.
    [14]ZHANG Fan, LIU Wan, GUO Yong-yan, CENG Zhi-chun, HE Qian-wei, ZHAO Zhong. The application and practice of black box testing technology in Fluid Simulation Software[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0621
    [15]SHI X D，LI R P，ZHAO H X，et al. Non-standard interface aviation RF cable test method based on TRL[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（9）：2207-2217 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0645.
    [16]ZHAO Yue-qing, LIN De-zhi, CHEN Hui, TANG Jia-li, CHEN Ping. Performance test and constitutive model selection of diaphragms in hot diaphragm forming[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0350
    [17]XU F J，ZHOU X，ZHAO J S，et al. Conception and development of software-defined satellite technology[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（7）：1543-1552 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0562.
    [18]ZHANG Pei-hong, ZHOU Gui-yu, SHEN Ying-ying, TANG Jing, ZHAO Wei, JIA Hong-yin. Research on simulation of parallel separation characteristics using NNW-FlowStar software[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0275
    [19]WANG L Y，CHEN W H，JIANG Y S，et al. Measurement of ejection factor of new resin matrix composites[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（11）：2960-2967 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0056.
    [20]YANG B，HE Y Z，XU F，et al. Using improved genetic algorithm for software fault localization aided test case generation[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（9）：2279-2288 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0524.
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(3199) PDF downloads(1202) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return