A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets

Taffarel Brant-Ribeiro, Rafael Araújo, Igor Mendonça, Michel S. Soares, Renan Cattelan


Interactions are communication acts which take place between at least two agents and result in information interchange. To represent these activities, formal methods can be used to model interaction flows and Colored Petri Nets (CPNs) are a handy formal language with graphical notation for modeling systems. This paper introduces wiCPN (Web Interaction Modeling Using Colored Petri Nets), a language based on CPNs for representing Web interactions with improved notation. Our proposal is first presented with its proper refinements over traditional CPNs. Next, we have applied the approach for modeling the interaction of Classroom eXperience’s (CX)Web front-end, a real u-learning environment. As CX is an educational system developed to assist instructors and students during academic activities, we verified the developed model’s reachability to ensure it was able to represent users different access levels. We also validated our proposal with user experiments, comparing it with UML. Our designed model represented CX’s interaction correctly, considering user access levels and maintaining an understandable notation. Results indicate advantages of wiCPN over UML for modeling interactive interfaces. By gathering strengths of Petri Nets with a higher level graphical notation, wiCPN propitiated better understanding of the model, representing interaction in a structured and intuitive way.


  1. Araújo, R. D., Brant-Ribeiro, T., Cattelan, R. G., Amo, S. A. d., and Ferreira, H. N. (2013). Personalization of Interactive Digital Media in Ubiquitous Educational Environments. In Proc. of the IEEE SMC'13, pages 3955-3960, Manchester, UK.
  2. Bowen, J. and Reeves, S. (2007). Using formal models to design user interfaces: A case study. In Proc. of the 21st BCS HCI, pages 159-166.
  3. Choosang, S. and Gordon, S. (2014). A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols. JCP, 9(2):243-256.
  4. Ciardelli, L., Bixio, L., and Regazzoni, C. (2011). Interaction Modeling in Automotive Applications: a Cognitive Approach. In Proc. of the IEEE CogSIMA'11, pages 248-251.
  5. Clemmensen, T. (2012). Usability Problem Identification in Culturally Diverse Settings. Inform Syst J, 22(2):151- 175.
  6. Ferreira, H., Araújo, R., de Amo, S., and Cattelan, R. (2012). Classroom Experience: A Platform for Multimedia Capture and Access in Instrumented Educational Environments. In Proc. of the SBSC'12, pages 59-64.
  7. Gal-Chis, C. (2013). Web Application Methodologies With RE Tools Support. IJCT, 11(3):2314-2320.
  8. Gehlot, V. and Nigro, C. (2010). An Introduction to Systems Modeling and Simulation with Colored Petri Nets. In Proc. of the WSC'10, pages 104-118.
  9. Gómez, M. and Cervantes, J. (2013). User Interface Transition Diagrams for Customer-Developer Communication Improvement in Software Development Projects. JSS, 86(9):2394-2410.
  10. Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. Sci Comput Program, 8(3):231- 274.
  11. Huang, J., Curran, P., Keeney, J., Poposki, E., and DeShon, R. (2012). Detecting and Deterring Insufficient Effort Responding to Surveys. J Bus Psychol, 27(1):99-114.
  12. Jensen, K. (1994). An Introduction to the Theoretical Aspects of Coloured Petri Nets. In A Decade of Concurrency, Lecture Notes in Computer Science, pages 230-272. Springer-Verlag.
  13. Jensen, K., Kristensen, L., and Wells, L. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT, 9(3):213-254.
  14. Kim, D., Cimren, E., Havey, R., and Zaidi, A. K. (2012). Improving Cluster Tools Performance Using Colored Petri Nets in Semiconductor Manifacturing. In Proc. of the WSC'12, pages 205:1-205:12.
  15. Ma, L., Yao, J., Xu, M., Yuan, T., and Shao, M. (2010). Netin-Net: Interaction Modeling for Smart Community Cyber-Physical System. In Proc. of the 7th UIC/ATC, pages 250-255.
  16. Martinie, C., Navarre, D., and Palanque, P. (2014). A MultiFormalism Approach for Model-based Dynamic Distribution of User Interfaces of Critical Interactive Systems. Int J Hum-Comput St, 72(1):77-99.
  17. Mirlacher, T., Palanque, P., and Bernhaupt, R. (2012). Engineering Animations in User Interfaces. In Proc. of the 4th ACM SIGCHI EICS, pages 111-120.
  18. Nguyen, H. and Apon, A. (2012). Parallel File System Measurement and Modeling Using Colored Petri Nets. In Proc. of the 3rd ACM/SPEC, pages 229-240.
  19. Petri, C. A. (1962). Communication With Automata. PhD thesis, Universität Hamburg.
  20. Rogers, Y., Sharp, H., and Preece, J. (2011). Interaction Design: Beyond Human-Computer Interaction. Wiley Publishing, Chichester, UK, 3rd edition.
  21. Rossi, G. (2013). Web Modeling Languages Strike Back. Internet Computing, IEEE, 17(4):4-6.
  22. Sangiorgi, U. and Barbosa, S. (2009). MoLIC Designer: Towards Computational Support to HCI Design with MoLIC. In Proc. of the 1st ACM EICS, pages 303-308.
  23. Silva, M. (2013). Half a Century After Carl Adam Petri's Ph.D. Thesis: a Perspective on the Field. Annual Reviews in Control, 37(2):191 - 219.
  24. Sommerville, I. (2010). Software Engineering. AddisonWesley Publishing Company, Boston, USA, 9th edition.
  25. Tena, S., Díez, D., Díaz, P., and Aedo, I. (2013). Standardizing the Narrative of Use Cases: a Controlled Vocabulary of Web User Tasks. IST, 55(9):1580-1589.
  26. Vera, P., Giulianelli, D., Rodriguez, R., and Pons, C. (2012). User Interface and Navigation Modeling Methodology for Mobile Hypermedia Systems. In Proc. of the 7th CCC, pages 1-6.
  27. Weidlich, M., Mendling, J., and Gal, A. (2013). NetBased Analysis of Event Processing Networks: the Fast Flower Delivery Case. In Proc. of the Petri Nets'13, pages 270-290.

Paper Citation

in Harvard Style

Brant-Ribeiro T., Araújo R., Mendonça I., S. Soares M. and Cattelan R. (2015). A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 37-48. DOI: 10.5220/0005365100370048

in Bibtex Style

author={Taffarel Brant-Ribeiro and Rafael Araújo and Igor Mendonça and Michel S. Soares and Renan Cattelan},
title={A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},

in EndNote Style

JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets
SN - 978-989-758-097-0
AU - Brant-Ribeiro T.
AU - Araújo R.
AU - Mendonça I.
AU - S. Soares M.
AU - Cattelan R.
PY - 2015
SP - 37
EP - 48
DO - 10.5220/0005365100370048