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: 
statecharts, concurrent program, specification-based testing, test sequence, equivalent class, 
 Summary | Full Text:PDF
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: 
commitments, statecharts, business process, interoperation, e-commerce, 
 Summary | Full Text:PDF