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 条
  • [21] Implementing Digital Twins via micro-frontends, micro-services, and web 3D
    Simoes, Bruno
    Carretero, Maria del Puy
    Martinez, Jorge
    Munoz, Sebastian
    Alcain, Nieves
    COMPUTERS & GRAPHICS-UK, 2024, 121
  • [22] Validation and verification of Web services choreographies by using timed automata
    Emilia Cambronero, M.
    Diaz, Gregorio
    Valero, Valentin
    Martinez, Enrique
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01): : 25 - 49
  • [23] Virtual testing of agile manufacturing software using 3D graphical simulation
    Jo, JY
    Kim, Y
    Podgurski, A
    Newman, WS
    1997 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION - PROCEEDINGS, VOLS 1-4, 1997, : 1223 - 1228
  • [24] 3D medical volume reconstruction using web services
    Kooper, Rob
    Shirk, Andrew
    Lee, Sang-Chul
    Lin, Amy
    Folberg, Robert
    Bajcsy, Peter
    COMPUTERS IN BIOLOGY AND MEDICINE, 2008, 38 (04) : 490 - 500
  • [25] EXPERIMENTAL STUDIES FOR THE DEFINITION OF 3D GEOSPATIAL WEB SERVICES
    Scianna, Andrea
    WEBMGS 2010: 1ST INTERNATIONAL WORKSHOP ON PERVASIVE WEB MAPPING, GEOPROCESSING AND SERVICES, 2010, 38-4 (W13):
  • [26] Experimental studies for the definition of 3D geospatial web services
    Scianna, Andrea
    APPLIED GEOMATICS, 2013, 5 (01) : 59 - 71
  • [27] Experimental Validation of Photogrammetry based 3D Reconstruction Software
    Hussain, Razeen
    Pizzo, Marianna
    Ballestin, Giorgio
    Chessa, Manuela
    Solari, Fabio
    2022 IEEE 5TH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING APPLICATIONS AND SYSTEMS, IPAS, 2022,
  • [28] 3D medical volume reconstruction using web services
    Kooper, R
    Shirk, A
    Lee, SC
    Lin, A
    Folberg, R
    Bajcsy, P
    2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 709 - 716
  • [29] A Visual Interface for Querying Ontologically and Socially Annotated 3D Worlds for the Web
    Pittarello, Fabio
    Gatto, Ivano
    PROCEEDINGS OF THE INTERNATIONAL WORKING CONFERENCE ON ADVANCED VISUAL INTERFACES, 2012, : 377 - 381
  • [30] THE "3D WIKI": BLENDING VIRTUAL WORLDS AND WEB ARCHITECTURE FOR REMOTE COLLABORATION
    Roberts, Michael
    Ducheneaut, Nicolas
    Smith, Trevor F.
    2010 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO (ICME 2010), 2010, : 1166 - 1171