Keyword : statecharts


Generating Test Sequences from Statecharts for Concurrent Program Testing
Heui-Seok SEO In Sang CHUNG Yong Rae KWON 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4 ; pp. 1459-1469
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
statechartsconcurrent programspecification-based testingtest sequenceequivalent class
 Summary | Full Text:PDF(701KB)

A Commitment-Based Approach for Business Process Interoperation
Jie XING Feng WAN Sudhir Kumar RUSTOGI Munindar P. SINGH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10 ; pp. 1324-1332
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Electronic Commerce
Keyword: 
commitmentsstatechartsbusiness processinteroperatione-commerce
 Summary | Full Text:PDF(955.7KB)