loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Taffarel Brant-Ribeiro 1 ; Rafael Araújo 1 ; Igor Mendonça 1 ; Michel S. Soares 2 and Renan Cattelan 1

Affiliations: 1 Federal University of Uberlândia, Brazil ; 2 Federal University of Sergipe, Brazil

Keyword(s): Web Interaction Modeling, Formal Methods, Colored Petri Nets, Human-Computer Interaction.

Abstract: 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 desi gned 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.173.125.112

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 1: ICEIS; ISBN 978-989-758-097-0; ISSN 2184-4992, SciTePress, pages 37-48. DOI: 10.5220/0005365100370048

@conference{iceis15,
author={Taffarel Brant{-}Ribeiro. and Rafael Araújo. and Igor Mendon\c{C}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 1: ICEIS},
year={2015},
pages={37-48},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005365100370048},
isbn={978-989-758-097-0},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS
TI - A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets
SN - 978-989-758-097-0
IS - 2184-4992
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
PB - SciTePress