{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:11:29Z","timestamp":1759032689756},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2012,9]]},"abstract":"<jats:p> Emergent behavior is an important issue in distributed systems' design. Detecting and removing emergent behavior during the design phase will lead to huge savings in deployment costs of such systems. An effective approach for the design of distributed systems is to describe system requirements using scenarios. A scenario, commonly known as a message sequence chart or a sequence diagram, is a temporal sequence of messages sent between system components. However, scenario-based specifications are prone to subtle deficiencies with respect to analysis and validation known as incompleteness and partial description. In this research, a method for detecting emergent behavior of scenario-based specification is proposed. The method is demonstrated and verified using a mine-sweeping robot as an example. Furthermore it has been demonstrated in this paper that scenario-based specifications can be used in agile software development and that the proposed methodologies in this research can be utilized effectively in agile approaches. <\/jats:p>","DOI":"10.1142\/s0218194012400104","type":"journal-article","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T08:48:30Z","timestamp":1352191710000},"page":"729-746","source":"Crossref","is-referenced-by-count":18,"title":["DETECTING EMERGENT BEHAVIOR IN DISTRIBUTED SYSTEMS USING SCENARIO-BASED SPECIFICATIONS"],"prefix":"10.1142","volume":"22","author":[{"given":"MOHAMMAD","family":"MOSHIRPOUR","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada"}]},{"given":"ABDOLMAJID","family":"MOUSAVI","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada"}]},{"given":"BEHROUZ H.","family":"FAR","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada"}]}],"member":"219","published-online":{"date-parts":[[2012,11,6]]},"reference":[{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214326"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054102000935"},{"key":"rf5","volume-title":"Distributed and Parallel Embedded Systems","author":"Kruger I.","year":"1999"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"rf14","author":"Holzmann G. J.","journal-title":"Bell Labs Technical Journal"},{"key":"rf15","first-page":"53","volume":"34","author":"Harel D.","journal-title":"IEEE Software"},{"key":"rf16","volume-title":"Agent Technology from a Formal Perspective","author":"Whittle J.","year":"2006"},{"key":"rf18","volume-title":"Scenario-based Design: Envisioning Work and Technology in System Development","author":"Carroll J. M.","year":"1995"},{"key":"rf19","volume-title":"The Unified Software Development Process","author":"Jacobson I.","year":"1999"},{"key":"rf20","volume-title":"Visual Modeling with Rational Rose 2000 and UML","author":"Quatrani T.","year":"2004"},{"key":"rf21","volume-title":"Use Cases Combined with Booch, OMT, and UML","author":"Texel P. P.","year":"1997"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1109\/52.663783"},{"key":"rf23","volume-title":"Mastering the Requirements Process","author":"Robertson S.","year":"1999"},{"key":"rf25","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer J.","year":"1999"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194012400104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:10:28Z","timestamp":1565183428000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194012400104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":14,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2012,11,6]]},"published-print":{"date-parts":[[2012,9]]}},"alternative-id":["10.1142\/S0218194012400104"],"URL":"https:\/\/doi.org\/10.1142\/s0218194012400104","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]}}}