During the last decade, collaborative commerce and human-centric systems concepts have been applied in several enterprise information systems. Many researchers have studied, developed and proposed architectures for su...
详细信息
ISBN:
(纸本)0955301807
During the last decade, collaborative commerce and human-centric systems concepts have been applied in several enterprise information systems. Many researchers have studied, developed and proposed architectures for such systems. In order to validate and verify the systems' architectures, researchers use various types of modeling and analysis techniques available. One well-recognized technique is workflow-nets (AT-nets), which is based on Petri Nets. WF-nets focus on control flow and provide a powerful analysis mechanism to verify the correctness of workflow procedures. This paper discusses a human centered collaborative system (HCCS) that has a Web-based architecture and pays special attention to collaboration and human-centric issues. The system is modeled using Petri nets and workflow nets. The paper then introduces Symbolized workflow-nets (SWF-nets) which employ symbolized places, transitions and arcs to illustrate the complicated processes more effectively. Next, it presents an example, a college admission system, as a case study that can be implemented in the HCCS environment. We model the admission processes using SWF-nets to illustrate the validation and verification of the HCCS architecture.
暂无评论