Keyword : formal model


A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
Isao YAGI Yoshiaki TAKATA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/05/01
Vol. E90-D  No. 5 ; pp. 799-807
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
Keyword: 
labeled transition systempushdown automatonformal modelaspect-oriented programmingAspectJ
 Summary | Full Text:PDF(323.9KB)

A Survey of Object-Oriented Petri Nets and Analysis Methods
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 2964-2971
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
Petri netsobject orientationmulti-agent systemsreachability problemdistributed systemsformal model
 Summary | Full Text:PDF(537.8KB)