Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bourdeaud’huy, T., Hanafi, S., Yim, P.: Mathematical programming approach to the Petri nets reachability problem. European Journal of Operational Research 177, 176–197 (2007)
Heiner, M.: Petri Net Based Software Validation, Prospects and Limitations. Technical Report TR92-022, GMD/First at Berlin Technical University, Germany (1992)
Iglesias, A., Luengo, F.: New Goal Selection Scheme for Behavioral Animation of Intelligent Virtual Agents. IEICE Transactions on Information and Systems E88-D(5), 865–871 (2005)
Iglesias, A.: A new framework for intelligent semantic web services based on GAIVAs. Int. Journal of Information Technology and Web Engineering 3(4), 30–58 (2007)
Luengo, F., Iglesias, A.: A New Architecture for Simulating the Behavior of Virtual Agents. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003, vol. 2657, pp. 935–946. Springer, Heidelberg (2003)
Luengo, F., Iglesias, A.: Framework for Simulating the Human Behavior for Intelligent Virtual Agents. Part I: Framework Architecture. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004, vol. 3039, pp. 229–236. Springer, Heidelberg (2004)
Luengo, F., Iglesias, A.: Framework for Simulating the Human Behavior for Intelligent Virtual Agents. Part II: Behavioral System. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004, vol. 3039, pp. 237–244. Springer, Heidelberg (2004)
Luengo, F., Contreras, M., Leal, A., Iglesias, A.: Interactive 3D Graphics Applications Embedded in Web Pages. In: Proc. of CGIV 2007, pp. 434–440. IEEE CS Press, Los Alamitos (2007)
Murata, T.: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of the Eleventh International World Wide Web Conference-WWW 2002. ACM Press, New York (2002)
Narayanan, S., McIlraith, S.: Analysis and Simulation of Web Services. Computer Networks 42, 675–693 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iglesias, A. (2009). Software Verification and Validation of Graphical Web Services in Digital 3D Worlds. In: Ślęzak, D., Kim, Th., Chang, A.CC., Vasilakos, T., Li, M., Sakurai, K. (eds) Communication and Networking. FGCN 2009. Communications in Computer and Information Science, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10844-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-10844-0_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10843-3
Online ISBN: 978-3-642-10844-0
eBook Packages: Computer ScienceComputer Science (R0)