{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:05:42Z","timestamp":1729641942305,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/iri.2013.6642473","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:13:22Z","timestamp":1383164002000},"page":"201-208","source":"Crossref","is-referenced-by-count":1,"title":["Detecting distributed software components that will not cause emergent behavior in asynchronous communication style"],"prefix":"10.1109","author":[{"given":"Fatemeh Hendijani","family":"Fard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrouz H.","family":"Far","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055331"},{"key":"35","first-page":"118","article-title":"Mesa: Support for scenariobaseddesign of concurrent systems","author":"ben-abdallah","year":"1998","journal-title":"Tools and Algorithms Forthe Construction and Analysis of Systems"},{"key":"17","first-page":"411","author":"verhulst","year":"2008","journal-title":"An Industrial Case Pitfalls and Benefits of Applying Formal Methods to TheDevelopment of A Network-Centric RTOS in FM2008 FormalMethods"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.107"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01156-6_28"},{"key":"33","first-page":"50","article-title":"Detecting implied scenarios fromexecution traces","author":"sousa","year":"2007","journal-title":"Proc 10th Working Conf Reverse Eng"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-29485-6_2"},{"key":"34","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45484-5_12","author":"schumann","year":"2001","journal-title":"Automatic Synthesis of AgentDesigns in UML Formal Approaches to Agent-Based Systems"},{"key":"16","first-page":"150","author":"quan","year":"2010","journal-title":"MAFSE A Model-Based Framework ForSoftware Verification"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/11589976_5"},{"key":"14","first-page":"17","author":"sanchez","year":"2012","journal-title":"AutomaticSoftware verification in industrial applications of evolutionaryalgorithms"},{"key":"37","first-page":"382","article-title":"Monitoring and control in scenario-basedrequirements analysis","author":"letier","year":"2005","journal-title":"Proceedings of the 27th Internationalconference on Software Engineering"},{"key":"11","first-page":"549","author":"chakraborty","year":"2010","journal-title":"Analysing Message Sequence Graph Specifications InLeveraging Applications of Formal Methods"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80485-7"},{"key":"12","first-page":"173","author":"uchitel","year":"0","journal-title":"Incremental Elaboration of Scenario-BasedSpecifications and Behaviour Models Using Implied Scenarios InDepartment of Computing2003 Imperial College of Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2012.6303009"},{"key":"20","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01211297","article-title":"Limits of formal methods","volume":"9","author":"kneuper","year":"1997","journal-title":"Formal Aspects ofComputing"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.11.007"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MMSE.2000.897190"},{"key":"24","first-page":"386","article-title":"Distributed system design with messagesequence charts","author":"krudie ger","year":"2000","journal-title":"Institute of Computer Science"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-271-3_6"},{"journal-title":"Formal Description Techniques (FDT)-Specification and Description Language (SDL)","year":"1999","author":"itu","key":"26"},{"key":"27","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/503209.503220","article-title":"Detecting impliedscenarios in message sequence chart specifications","author":"uchitel","year":"2001","journal-title":"InProceedings of the 8th European Software Engineering Conferenceheld Jointly with 9th ACM SIGSOFT International Symposium OnFoundations of Software Engineering"},{"key":"28","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","article-title":"Model checking of messagesequence charts","author":"alur","year":"1999","journal-title":"CONCUR99 Concurrency Theory"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.28"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214326"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.034"},{"key":"1","first-page":"160","article-title":"Inference of emergent behaviours of scenario-based specifications","author":"mousavi","year":"2009","journal-title":"Department of Electrical and ComputerEngineering"},{"key":"30","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/11590156_27","author":"adsul","year":"2005","journal-title":"Causal Closure for MSC Languages InFSTTCS 2005 Foundations of Software Technology AndTheoretical Computer Science S"},{"key":"7","article-title":"Required behavior of sequencediagrams: Semantics and refinement","author":"lunjin","year":"2011","journal-title":"Engineering OfComplex Computer Systems ICECCS) 2011 16th IEEEInternational Conference On"},{"key":"6","article-title":"Five reasons for scenario-based design. InSystem Sciences","author":"carrol","year":"1999","journal-title":"1999 HICSS-32 Proceedings of the 32ndAnnual Hawaii International Conference On"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36578-8_26"},{"key":"5","first-page":"33","author":"broy","year":"2011","journal-title":"Seamless Method-And Model-based Software AndSystems Engineering"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74240-1_8"},{"key":"4","first-page":"109","article-title":"Model-based detection of emergentbehavior in distributed and multi-agent systems fromcomponent level perspective","author":"moshirpour","year":"2011","journal-title":"DEPARTMENT OFELECTRICAL and COMPUTER ENGINEERING"},{"key":"9","first-page":"103","author":"genest","year":"2004","journal-title":"Message SequenceCharts Lectures on Concurrency and Petri Nets"},{"key":"8","first-page":"136","volume":"120","author":"union","year":"0","journal-title":"LANGUAGESAND GENERAL SOFTWARE ASPECTS FORTELECOMMUNICATION SYSTEMS-Formal Descriptiontechniques (FDT)-Message Sequence Chart 2004"}],"event":{"name":"2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)","start":{"date-parts":[[2013,8,14]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,8,16]]}},"container-title":["2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621630\/6642428\/06642473.pdf?arnumber=6642473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T21:07:43Z","timestamp":1498079263000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6642473\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iri.2013.6642473","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}