Modeling Petri Nets Using Alloy

被引:0
作者
Robles, Jonathan A. [1 ,2 ]
Solano, Geoffrey A. [3 ,4 ]
机构
[1] Univ Philippines, Dept Comp Sci, Comp Secur Grp, Quezon City 1101, Philippines
[2] SeaChange Philippines Inc, Quezon City 1101, Philippines
[3] Univ Philippines, Dept Comp Sci, Quezon City, Philippines
[4] Univ Philippines Manila, Manila, Philippines
来源
TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY | 2012年
关键词
Formal methods; Alloy; Petri nets;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Petri net is a computational tool that is well-known in modeling various processes. Its formal semantics, graphical nature and expressiveness lend itself as a convenient model of computation for a wide-range of applications. On the other hand, Alloy is a declarative specification language used for expressing structural constraints and behavior in a software system. Alloy is heavily influenced by the Z notation on its mathematical aspects and Object Constraint Language on its syntax. An advantage of Alloy, however, is that its semantics bridges the gap between Z and object models, and shows how to give simple and robust meaning to widely used forms, such as navigation expressions and object model diagrams. This paper demonstrates how Petri nets and its properties and behavior can be specified using Alloy.
引用
收藏
页数:6
相关论文
共 16 条
[1]  
[Anonymous], 1992, The Z Notation
[2]  
[Anonymous], 1962, Schriften des IIM
[3]  
Hales K., 1991, Workflow management software: the business opportunity
[4]   Alloy: A lightweight object modelling notation [J].
Jackson, D .
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2002, 11 (02) :256-290
[5]  
Jackson D., 2006, SOFTWARE ABSTRACTION
[6]  
Jackson D., TECHNICAL REPORT
[7]  
Koulopoulos T.M., 1995, The Workflow Imperative: building real world business solutions
[8]  
Lawrence Peter., 1997, WORKFLOW HDB 1997
[9]   Modeling workflow processes with colored Petri nets [J].
Liu, DS ;
Wang, JM ;
Chan, SCF ;
Sun, JG ;
Zhang, L .
COMPUTERS IN INDUSTRY, 2002, 49 (03) :267-281
[10]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580