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 条
  • [41] Java']Java 3D, 3D graphical environments and behaviour
    Burrows, AL
    England, D
    SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 359 - 376
  • [42] Development and validation of a 3D dose calculation software for neutron radiotherapy
    Sommer, L.
    Combs, S. E.
    Breitkreutz, H.
    Chemnitz, T.
    Wilkens, J. J.
    RADIOTHERAPY AND ONCOLOGY, 2020, 152 : S820 - S820
  • [43] Online carbohydrate 3D structure validation with the Privateer web app
    Dialpuri, Jordan S.
    Bagdonas, Haroldas
    Schofield, Lucy C.
    Pham, Phuong Thao
    Holland, Lou
    Bond, Paul S.
    Rodriguez, Filomeno Sanchez
    McNicholas, Stuart J.
    Agirre, Jon
    ACTA CRYSTALLOGRAPHICA SECTION F-STRUCTURAL BIOLOGY COMMUNICATIONS, 2024, 80 : 30 - 35
  • [44] Virtual Worlds for 3D Visualizations
    Pirker, Johanna
    Guetla, Christian
    WORKSHOP PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENVIRONMENTS, 2015, 19 : 265 - 272
  • [45] Modeling 3D Worlds: Outdoor
    Aliaga, Daniel
    SA'17: SIGGRAPH ASIA 2017 COURSES, 2017,
  • [46] 3D SlicerUniverselle 3D-Visualisierung-Software3D SlicerUniversal 3D visualization software
    Nico Bruns
    Der Unfallchirurg, 2019, 122 (8): : 662 - 663
  • [47] A Webshop for Digital Assets in Virtual Worlds Supported by a 3D Object Representation.
    Steurer, Michael Erwin
    SIXTH INTERNATIONAL MULTI-CONFERENCE ON COMPUTING IN THE GLOBAL INFORMATION TECHNOLOGY (ICCGI 2011), 2011, : 171 - 176
  • [48] The Metaverse: Telepresence in 3D Avatar-Driven Digital-Virtual Worlds
    Schlemmer, Eliane y
    Trein, Daiana
    Oliveira, Cristoffer
    ATTIC-REVISTA D INNOVACIO EDUCATIVA, 2009, (02): : 26 - 32
  • [49] 3D Multiple Digital Watermarking Framework for joint-creatorship verification
    Cho, Misung
    Sohn, Yuseung
    Bu, Soyoung
    2006 INTERNATIONAL CONFERENCE ON CYBERWORLDS, PROCEEDINGS, 2006, : 141 - +
  • [50] 3D component-based visualization framework for generating simple 3D applications using web services
    Itoh, Masahiko
    Tanaka, Yuzuru
    2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, (WI 2006 MAIN CONFERENCE PROCEEDINGS), 2006, : 823 - +
12345