{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T16:17:59Z","timestamp":1648743479842},"reference-count":20,"publisher":"World Scientific Pub Co Pte Lt","issue":"09n10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2016,11]]},"abstract":"<jats:p> Sequence-based software specification is a rigorous method for deriving a formal system model based on informal requirements, through a systematic process called sequence enumeration. Under this process, stimulus (input) sequences are considered in a breadth-first manner, with the expected system response to each sequence given. Not every sequence needs to be further extended by the enumeration rules. The completed specification encodes a Mealy machine and forms a basis for other activities including code development and testing. This paper presents a forward reduction algorithm for sequence-based specification. The need for such an algorithm has been identified by field applications. We used the state machine as an intermediate tool to comprehend and analyze all change impacts resulted from a forward reduction, and used an axiom system for its development. We present the algorithm both mathematically in functional form and procedurally in pseudocode, illustrate it with a symbolic example, and report a larger case study from the published literature in which the algorithm is applied. The algorithm will prove useful and effective in deriving a system-level specification as well as in merging and combining partial work products towards a formal system model in field applications. <\/jats:p>","DOI":"10.1142\/s0218194016400118","type":"journal-article","created":{"date-parts":[[2017,2,17]],"date-time":"2017-02-17T01:49:38Z","timestamp":1487296178000},"page":"1431-1451","source":"Crossref","is-referenced-by-count":0,"title":["An Algorithm for Forward Reduction in Sequence-Based Software Specification"],"prefix":"10.1142","volume":"26","author":[{"given":"Lan","family":"Lin","sequence":"first","affiliation":[{"name":"Department of Computer Science, Ball State University, Muncie, IN 47306, USA"}]},{"given":"Yufeng","family":"Xue","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Ball State University, Muncie, IN 47306, USA"}]},{"given":"Fengguang","family":"Song","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Indiana University\u2013Purdue University Indianapolis, Indianapolis, IN 46202, USA"}]}],"member":"219","published-online":{"date-parts":[[2017,2,16]]},"reference":[{"key":"S0218194016400118BIB009","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"S0218194016400118BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.01.040"},{"key":"S0218194016400118BIB011","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003327"},{"key":"S0218194016400118BIB012","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054107005133"},{"key":"S0218194016400118BIB013","doi-asserted-by":"publisher","DOI":"10.1145\/2089116.2089119"},{"key":"S0218194016400118BIB014","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof307"},{"key":"S0218194016400118BIB015","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.008"},{"key":"S0218194016400118BIB016","volume-title":"Software for Dependable Systems: Sufficient Evidence?","author":"Jackson D.","year":"2007"},{"key":"S0218194016400118BIB017","doi-asserted-by":"publisher","DOI":"10.1109\/32.935852"},{"key":"S0218194016400118BIB018","volume-title":"Real-Time Systems: Specification, Verification and Analysis","author":"Joseph M.","year":"1996"},{"key":"S0218194016400118BIB019","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384500"},{"key":"S0218194016400118BIB020","doi-asserted-by":"publisher","DOI":"10.1002\/spe.907"},{"key":"S0218194016400118BIB021","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.041"},{"key":"S0218194016400118BIB022","volume-title":"Structured Programming: Theory and Practice","author":"Linger R. C.","year":"1979"},{"key":"S0218194016400118BIB023","doi-asserted-by":"publisher","DOI":"10.1145\/360569.360659"},{"key":"S0218194016400118BIB024","doi-asserted-by":"publisher","DOI":"10.1109\/2.948"},{"key":"S0218194016400118BIB025","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.112"},{"key":"S0218194016400118BIB027","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199803)28:3<329::AID-SPE157>3.0.CO;2-H"},{"key":"S0218194016400118BIB028","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"key":"S0218194016400118BIB030","volume-title":"Cleanroom Software Engineering: Technology and Process","author":"Prowell S. 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\/S0218194016400118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T12:17:14Z","timestamp":1565093834000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194016400118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":20,"journal-issue":{"issue":"09n10","published-online":{"date-parts":[[2017,2,16]]},"published-print":{"date-parts":[[2016,11]]}},"alternative-id":["10.1142\/S0218194016400118"],"URL":"https:\/\/doi.org\/10.1142\/s0218194016400118","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11]]}}}