Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-DNo. 5 ;
pp. 1342-1354 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Methods Keyword: risk analysis, business process, formal methods,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2007/04/01 Vol. E90-DNo. 4 ;
pp. 745-752 Type of Manuscript: PAPER Category: Software Engineering Keyword: security requirement, business process, BPMN,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2001/10/01 Vol. E84-DNo. 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,