Software Verification and Validation of Graphical Web Services in Digital 3D Worlds

被引:1
|
作者
Iglesias, Andres [1 ]
机构
[1] Univ Cantabria, Dept Appl Math & Computat Sci, E-39005 Santander, Spain
来源
COMMUNICATION AND NETWORKING | 2009年 / 56卷
关键词
PETRI NETS; BEHAVIOR;
D O I
10.1007/978-3-642-10844-0_35
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Software verification and validation (SVV) are major ingredients of current, software engineering projects. Among the available methods to solve this problem, one of the most promising approaches is that based on Petri nets. This paper discusses somme issues regarding the application of Petri nets to SVV from a hybrid mathematical/computational point of view. The paper also describes a Mathematica package developed by the author for a class of Petri nets, which is applied to address the SVV problem in the context of graphical semantic web services based on virtual agents evolving in digital 3D worlds.
引用
收藏
页码:293 / 300
页数:8
相关论文
共 50 条
  • [31] Distributed 3D information visualization - Towards integration of the dynamic 3D graphics and web services
    Vucinic, Dean
    Deen, Danny
    Oanta, Emil
    Batarilo, Zvonimir
    Lacor, Chris
    GRAPP 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS THEORY AND APPLICATIONS, 2006, : 251 - +
  • [32] Distributed 3D information visualization - Towards integration of the dynamic 3D graphics and web services
    Vucinic, Dean
    Deen, Danny
    Oanta, Emil
    Batarilo, Zvonimir
    Lacor, Chris
    ADVANCES IN COMPUTER GRAPHICS AND COMPUTER VISION, 2007, 4 : 155 - +
  • [33] Digital Archive System with 3D Web Portal Interface
    Matsushita, Ryosuke
    Suita, Hiroshi
    Yasumuro, Yoshihiro
    DIGITAL HERITAGE: PROGRESS IN CULTURAL HERITAGE: DOCUMENTATION, PRESERVATION, AND PROTECTION, 2014, 8740 : 564 - 571
  • [34] Digital archive system with 3D web portal interface
    Matsushita, Ryosuke, 1600, Springer Verlag (8740):
  • [35] Web Software Visualization Using Extensible 3D (X3D) Graphics
    Anslow, Craig
    Noble, James
    Marshall, Stuart
    Biddle, Robert
    SOFTVIS 2008: PROCEEDINGS OF THE 4TH ACM SYMPOSIUM ON SOFTWARE VISUALIZATION, 2008, : 213 - 214
  • [36] eSHAFTS: Integrated and graphical drug design software based on 3D molecular similarity
    He, Gaoqi
    Song, Yiping
    Wei, Wenhao
    Wang, Xia
    Lu, Xingjian
    Li, Honglin
    JOURNAL OF COMPUTATIONAL CHEMISTRY, 2019, 40 (06) : 826 - 838
  • [37] Graphical Representation as a Factor of 3D Software User Satisfaction: A Metric Based Approach
    Ampatzoglou, Apostolos
    Chatzigeorgiou, Alexander
    Stamelos, Ioannis
    PCI 2008: 12TH PAN-HELLENIC CONFERENCE ON INFORMATICS, PROCEEDINGS, 2008, : 105 - +
  • [38] Integrated 3D Web Application for Structural Analysis Software as a Service
    Gracia, Javier
    Bayo, Eduardo
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2013, 27 (02) : 159 - 166
  • [39] White Coats: Web-visualization of evolving software in 3D
    Mesnage, Cedric
    Lanza, Michele
    3RD IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEEDINGS, 2005, : 40 - 45
  • [40] A framework for contract-based collaborative verification and validation of web services
    Bai, Xiaoying
    Wang, Yongbo
    Dai, Guilan
    Tsai, Wei-Tek
    Chen, Yinong
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4608 : 258 - +