Issue No.12 - December (2005 vol.31)
Pierre-Yves Schobbens , IEEE Computer Society
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2005.137
The problem of relating state-based intraagent (or intraobject) behavioral descriptions with scenario-based interagent (interobject) descriptions has recently focused much interest among the software engineering community. This paper compiles the results of our investigation of this problem. As interagent formalism, we adopt a simple variant of Live Sequence Charts. For the intraagent perspective, we consider a game-theoretic foundation, looking at agents as "strategies,” which encompasses the popular "state-based” paradigm. Three classes of relationships between models are studied: scenario checking (called eLSC checking), synthesis, and verification. We set a formally defined theoretical stage that allows us to express these three problems very simply, to discuss their complexity, and to describe optimal solutions. Our study reveals the intrinsic high computational difficulty of these tasks. Consequently, many related problems and solutions are surveyed, some of which can be the basis for practical solutions. In this, we also offer a panorama of current research and directions for the future.
Index Terms- Requirements engineering, life cycle, program verification.
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, "From Live Sequence Charts to State Machines and Back: A Guided Tour", IEEE Transactions on Software Engineering, vol.31, no. 12, pp. 999-1014, December 2005, doi:10.1109/TSE.2005.137