TY - JOUR
T1 - STRPN
T2 - A petri-net approach for modeling spatial-temporal relations between moving multimedia objects
AU - Hsu, Ping Yu
AU - Chang, Yuan Bin
AU - Chen, Yen Liang
N1 - Funding Information:
The research is partially supported by the MOE Program for Promoting Academic Excellence of Universities of R.O.C. under the Grant Number 91-H-FA07-1-4.
PY - 2003/1
Y1 - 2003/1
N2 - A multimedia presentation model provides designers a tool to formally specify the temporal and spatial relationships of objects. The formality helps designers to communicate with others, to check the integrity of designs, and provides a chance to simulate the designs. Although much research has been devoted to this subject, to the best of our knowledge, no multimedia models are able to describe the spatial-temporal relations of moving objects that may refer to each other for computing displaying addresses. The addresses may be recomputed several times during the objects' lifetimes to reflect their movements. Without a formal model, designers are forced to specify the relationships in an ad hoc manner that causes misunderstanding and hampers integrity check. The check includes if an object gets its addresses in time from another object, if an object is displayed in the right places, etc. The difficulty of designing such a format model lies in integrating temporal constraints of objects with a real-time address transferring mechanism. In this paper, we present an extended Petri-Net model, which models concurrent relationships of objects with new places, transitions, and firing rules to transfer and transform addresses in real time. Its descriptive power and correctness is demonstrated by five patterns of multimedia presentations and a sample play scripts.
AB - A multimedia presentation model provides designers a tool to formally specify the temporal and spatial relationships of objects. The formality helps designers to communicate with others, to check the integrity of designs, and provides a chance to simulate the designs. Although much research has been devoted to this subject, to the best of our knowledge, no multimedia models are able to describe the spatial-temporal relations of moving objects that may refer to each other for computing displaying addresses. The addresses may be recomputed several times during the objects' lifetimes to reflect their movements. Without a formal model, designers are forced to specify the relationships in an ad hoc manner that causes misunderstanding and hampers integrity check. The check includes if an object gets its addresses in time from another object, if an object is displayed in the right places, etc. The difficulty of designing such a format model lies in integrating temporal constraints of objects with a real-time address transferring mechanism. In this paper, we present an extended Petri-Net model, which models concurrent relationships of objects with new places, transitions, and firing rules to transfer and transform addresses in real time. Its descriptive power and correctness is demonstrated by five patterns of multimedia presentations and a sample play scripts.
KW - Multimedia
KW - Petri Net
KW - Relative coordination
KW - Spatial-temporal relations
KW - Two-phase firing conditions
KW - Valid firing sequences
UR - http://www.scopus.com/inward/record.url?scp=0037250092&partnerID=8YFLogxK
U2 - 10.1109/TSE.2003.1166589
DO - 10.1109/TSE.2003.1166589
M3 - 期刊論文
AN - SCOPUS:0037250092
SN - 0098-5589
VL - 29
SP - 63
EP - 76
JO - IEEE Transactions on Software Engineering
JF - IEEE Transactions on Software Engineering
IS - 1
ER -