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 条
  • [1] Pure Petri Nets for Software Verification and Validation of Semantic Web Services in Graphical Worlds
    Iglesias, Andres
    INTERNATIONAL JOURNAL OF FUTURE GENERATION COMMUNICATION AND NETWORKING, 2010, 3 (01): : 33 - 45
  • [2] 3D worlds on the Web
    Vacca, JR
    COMPUTER GRAPHICS WORLD, 1996, 19 (05) : 43 - &
  • [3] 3D Worlds on the Web
    Comput Graphics World, 5 (43):
  • [4] Early requirements validation with 3D worlds
    Teyseyre, AR
    Campo, M
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2005, 20 (01): : 63 - 74
  • [5] Interactive Graphical Representation for Collaborative 3D Virtual Worlds
    Gu, Ning
    Tsai, Jerry Jen-Hung
    COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING, 2010, 25 (01) : 55 - 68
  • [6] Virtual Worlds and the 3D Web - Time for Convergence?
    Bakri, Hussein
    Allison, Colin
    Miller, Alan
    Oliver, Iain
    IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2016, 2016, 621 : 29 - 42
  • [7] An ECG Web Services Portal for Standard and Serial ECG Analysis with Enhanced 3D Graphical Capabilities
    Fayn, Jocelyne
    Rubel, Paul
    2017 COMPUTING IN CARDIOLOGY (CINC), 2017, 44
  • [8] Applying relational algebra in 3D graphical software design
    Berghammer, R
    Fronk, A
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 62 - 73
  • [9] Digital Anthropometry: Development and Validation of Universal 3D Optical Analysis System Software
    Sobhiyeh, Sima
    Kennedy, Samantha
    Dunkel, Alexander
    Dechenaud, Marcelline
    Shepherd, John
    Wolenski, Peter
    Heymsfield, Steven
    OBESITY, 2020, 28 : 78 - 79
  • [10] Web agent in a 3D graphical teaching and learning environment
    Wang, XS
    Fowler, R
    IC'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2004, : 522 - 526
12345