Masao J. MATSUMOTO

Composing Collaborative Component Systems Using Colored Petri Nets
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/05/01
Vol. E84-A  No. 5  pp. 1209-1217
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
colored Petri nets, many sorted algebra, software engineering, component based software development, software composition, 
 Summary | Full Text:PDF
Identifying the Structure of Business Processes for Comprehensive Enterprise Modeling
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/02/01
Vol. E84-D  No. 2  pp. 239-248
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
formal method, colored Petri nets, business process modeling, rough set theory, requirements engineering, 
 Summary | Full Text:PDF
Knowledge-Based Software Composition Using Rough Set Theory
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 691-700
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
formal method, colored Petri nets, software composition, rough set theory, knowledge representation, 
 Summary | Full Text:PDF
Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/12/25
Vol. E82-D  No. 12  pp. 1524-1534
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
formal method, colored Petri nets, software adaptability, process algebra, business process modeling, 
 Summary | Full Text:PDF