文章基本信息

标题：Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
本地全文：下载
作者：Tony Modica ; Kathrin Hoffmann
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2010
卷号：30
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：Communication nowadays is based on communication platforms like Skype, Facebook, or SecondLife. The formal modeling and analysis of communication platforms poses considerable challenges, namely highly dynamic structures and complex behavior. Since most of the well-known formal modeling approaches are adequate only for specific aspects of communication platforms, in this paper we introduce the approach of reconfigurable algebraic high-level nets with individual tokens and show in our case study Skype that this approach is adequate for modeling the main aspects and features of communication platforms.