Cited By
View all- Ramos DRocha FSoares M(2022)A Bottom Up Approach for Modeling Business Process using Time Petri NetsProceedings of the XVIII Brazilian Symposium on Information Systems10.1145/3535511.3535539(1-8)Online publication date: 16-May-2022
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
Authors: 
Taffarel Brant-Ribeiro, Rafael D. Araújo, Igor E. Mendonça, Michel S. Soares, 
Renan G. CattelanAuthors Info & Claims
Taffarel Brant-Ribeiro, Rafael D. Araújo, Igor E. Mendonça, Michel S. Soares, Renan G. CattelanAuthors Info & ClaimsPages 721 - 737
Abstract
Interaction modeling is a relevant activity during software development processes. Created relying on Petri Nets theory and aiming to represent discrete time events, Colored Petri Nets (CPNs) are a graphical formal language developed and widely employed for system modeling. While traditional CPNs only have elements with ordinary stylization and behaviors, in this article we explore the key ideas behind Web Interaction Modeling Using Colored Petri Nets (wiCPN), a modeling style developed with focus on representing Web interactions as an incremental improvement of CPNs. We review wiCPN's refinements over CPNs and the modeling of the Web interface of Classroom eXperience (CX), a ubiquitous educational platform, thus verifying the model's properties to ensure it was able to represent the different access levels among its users and how wiCPN displayed suitability to comprehend this requirement on the generated model. We have also improved the originally developed model with the modification of elements to make it finite and fully analyzable. Also, we added temporization capabilities to the model and ran corresponding user simulation to observe the average time that users with different roles tend to spend during interactions. We compared wiCPN results with Unified Modeling Language (UML) Activity and Use Case diagrams, observing, as outcomes, that the generated model represented CX's interactive flow correctly and maintained a concise notation--a single wiCPN diagram was sufficient to depict the same interactive flow that, in UML, would require several diagrams, something that could overload the design team in actual software development scenarios. We also included new user experiments comprising qualitative results from experts. Finally, we created a reachability graph for the new model and generated a full state space report, analyzing Petri Nets properties such as boundedness, liveness and home marking.
References
[1]
Araújo, R., Ferreira, H., Rosa, P., Cattelan, R.: A redundancy information protocol for P2P networks in ubiquitous computing environments: design and implementation. In: Proceedings of the 11th International Conference on Networks, pp. 215---220 (2012)
[2]
Araújo, R.D., Brant-Ribeiro, T., Cattelan, R.G., Amo, S.A.D., Ferreira, H.N.: Personalization of interactive digital media in ubiquitous educational environments. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics, pp. 3955---3960 (2013)
[3]
Banerjee, P., Sarkar, A., Debnath, N.C.: Modeling component interaction: Z-notation based approach. In: Proceedings of the 3rd IEEE International Conference on Computing, Management and Telecommunications, pp. 62---67 (2015)
[4]
Bowen, J., Reeves, S.: Using formal models to design user interfaces: a case study. In: Proceedings of the 21st British HCI Group Annual Conference on People and Computers, pp. 159---166 (2007)
[5]
Brant-Ribeiro, T., Araújo, R., Mendonça, I., Soares, M., Cattelan, R.: A user-centered approach for modeling web interactions using Colored Petri Nets. In: Proceedings of the 17th International Conference on Enterprise Information Systems, pp. 37---48 (2015)
[6]
Ceri, S., Brambilla, M., Fraternali, P.: Conceptual modeling: foundations and applications. In: Essays in Honor of JohnMylopoulos, Chapter Lessons Learned from 10 Years of Model-Driven Development of Web Applications, pp. 273---292. Springer, Berlin (2009)
[7]
Choosang, S., Gordon, S.: A Coloured Petri Net methodology and library for security analysis of network protocols. J. Comput. 9(2), 243---256 (2014)
[8]
Ciardelli, L., Bixio, L., Regazzoni, C.: Interaction modeling in automotive applications: a cognitive approach. In: Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, pp. 248---251 (2011)
[9]
Clemmensen, T.: Usability problem identification in culturally diverse settings. Inf. Syst. J. 22(2), 151---175 (2012)
[10]
Dix, A., Finlay, J.E., Abowd, G.D., Beale, R.: Human-computer interaction, 3rd edn. Prentice-Hall Inc., Upper Saddle River (2003)
[11]
Dubberly, H., Pangaro, P., Haque, U.: On modeling: What is interaction? Are there different types? Interactions 16(1), 69---75 (2009)
[12]
Fan, G., Yu, H., Chen, L., Liu, D.: Petri Net based techniques for constructing reliable service composition. J. Syst. Softw. 86(4), 1089---1106 (2013)
[13]
Fischer, G.: User modeling in human-computer interact. User Model User-Adapt. Interact. 11(1---2), 65---86 (2001)
[14]
Gal-Chis, C.: Web application methodologies with RE tools support. Int. J. Comput. Technol. 11(3), 2314---2320 (2013)
[15]
Gehlot, V., Nigro, C.: An introduction to systems modeling and simulation with Colored Petri Nets. In: Proceedings of the 2010 winter simulation conference, pp. 104---118 (2010)
[16]
Gómez, M., Cervantes, J.: User interface transition diagrams for customer---developer communication improvement in software development projects. J. Syst. Softw. 86(9), 2394---2410 (2013)
[17]
Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231---274 (1987)
[18]
Huang, J., Curran, P., Keeney, J., Poposki, E., DeShon, R.: Detecting and deterring insufficient effort responding to surveys. J. Bus. Psychol. 27(1), 99---114 (2012)
[19]
Iordache, M., Antsaklis, P.: Petri Nets and programming: a survey. In: Proceedings of the IEEE 2009 American Control Conference, pp. 4994---4999, St. Louis, USA (2009)
[20]
Jensen, K.: An introduction to the theoretical aspects of Coloured Petri Nets. In: A Decade of Concurrency, Lecture Notes in Computer Science, pp. 230---272. Springer (1994)
[21]
Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3), 213---254 (2007)
[22]
Junior, M. N.O., Neto, S., Maciel, P., Lima, R., Ribeiro, A., Barreto, R., Tavares, E., Braga, F.: Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: an approach based on Coloured Petri Nets. In: Proceedings of the 2006 International Conference on Applications and Theory of Petri Nets, pp. 261---281 (2006)
[23]
Kim, D., Cimren, E., Havey, R., Zaidi, A.K.: Improving cluster tools performance using Colored Petri Nets in semiconductor manufacturing. In: Proc. of the 2012 Winter Simulation Conference, pages 205:1---205:12 (2012)
[24]
Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner's guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2, 98---132 (1998)
[25]
Lopes, A., Marques, A., Barbosa, S.D.J., Conte, T.: Evaluating HCI design with interaction modeling and mockups--a case study. In: Proceedings of the ICEIS'15, pp. 79---87 (2015)
[26]
Ma, L., Yao, J., Xu, M., Yuan, T., Shao, M.: Net-in-net: interaction modeling for smart community cyber-physical system. In: Proceedings of the 7th International Conference on Ubiquitous Intelligence and Computing 7th International Conference on Autonomic and Trusted Computing, pp. 250---255 (2010)
[27]
Machado, R.J., Fernandes, J.M., Esteves, A.J., Santos, H.D.: Hardware design and Petri Nets, chapter an evolutionary approach to the use of Petri Net based models: from parallel controllers to HW/SW Co-Design, pp. 205---22. Kluwer (2000)
[28]
Martinie, C., Navarre, D., Palanque, P.: A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. Int. J. Hum.---Comput. Stud. 72(1), 77---99 (2014)
[29]
Mirlacher, T., Palanque, P., Bernhaupt, R.: Engineering animations in user interfaces. In: Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 111---120 (2012)
[30]
Nguyen, H., Apon, A.: Parallel file system measurement and modeling using Colored Petri Nets. In: Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering, pp. 229---240 (2012)
[31]
Petri, C. A. (1962). Communication with Automata. PhD thesis, Universität Hamburg
[32]
Pettit, R., Gomaa, H.: Analyzing behavior of concurrent software designs for embedded systems. In: Proceedings of the 2007 IEEE International Symposium on Real-Time Computing, pp. 124---132 (2007)
[33]
Rogers, Y., Sharp, H., Preece, J.: Interaction Design: Beyond Human---Computer Interaction, 3rd edn. Wiley, Chichester (2011)
[34]
Rossi, G.: Web modeling languages strike back. IEEE Internet Comput. 17(4), 4---6 (2013)
[35]
Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley Professional (2010)
[36]
Sangiorgi, U., Barbosa, S.: MoLIC designer: towards computational support to HCI design with MoLIC. In: Proceedings of the 2009 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 303---308 (2009)
[37]
Silva, M.: Half a century after Carl Adam Petri's Ph.D. Thesis: a perspective on the field. Ann. Rev. Control 37(2), 191---219 (2013)
[38]
Sommerville, I.: Software Engineering, 10th edn. Pearson, New York (2015)
[39]
Tena, S., Díez, D., Díaz, P., Aedo, I.: Standardizing the narrative of use cases: a controlled vocabulary of web user tasks. Inf. Softw. Technol. 55(9), 1580---1589 (2013)
[40]
Vera, P., Giulianelli, D., Rodriguez, R., Pons, C.: User interface and navigation modeling methodology for mobile hypermedia systems. In: Proceedings of the 7th Colombian Computing Congress, pp. 1---6 (2015)
[41]
Weidlich, M., Mendling, J., Gal, A.: Net-based analysis of event processing networks: the fast flower delivery case. In: Proceedings of the 2013 International Conference on Applications and Theory of Petri Nets, pp. 270---290 (2013)
[42]
Weijters, B., Baumgartner, H.: Misresponse to reversed and negated items in surveys: a review. J. Market. Res. 49(5), 737---747 (2012)
Recommendations
A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets
ICEIS 2015: Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2Interactions 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 ...
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
ICEIS 2014: Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2Coloured Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets ...
Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens
The authors describe an algorithm for conversion of colored Petri nets with qualitative tokens into a colored Petri net with quantitative tokens preserving boundedness, mutual exclusion, and liveness properties. This conversion allows the invariance ...
Comments
Information & Contributors
Information
Published In
Copyright © Copyright © 2019 Springer-Verlag GmbH Germany, part of Springer Nature.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 February 2019
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Sep 2024
Other Metrics
Citations
Cited By
View all- Ramos DRocha FSoares M(2022)A Bottom Up Approach for Modeling Business Process using Time Petri NetsProceedings of the XVIII Brazilian Symposium on Information Systems10.1145/3535511.3535539(1-8)Online publication date: 16-May-2022
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in