{"id":"https://openalex.org/W1967730132","doi":"https://doi.org/10.1145/151257.151259","title":"Simulating reactive systems by deduction","display_name":"Simulating reactive systems by deduction","publication_year":1993,"publication_date":"1993-04-01","ids":{"openalex":"https://openalex.org/W1967730132","doi":"https://doi.org/10.1145/151257.151259","mag":"1967730132"},"language":"en","primary_location":{"id":"doi:10.1145/151257.151259","is_oa":false,"landing_page_url":"https://doi.org/10.1145/151257.151259","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012035947","display_name":"Yishai Feldman","orcid":"https://orcid.org/0000-0003-3435-2162"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Yishai A. Feldman","raw_affiliation_strings":["Tel Aviv Univ., Tel Aviv, Israel","Tel Aviv University, Tel Aviv, Israel,"],"affiliations":[{"raw_affiliation_string":"Tel Aviv Univ., Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel,","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035409168","display_name":"Haim Schneider","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haim Schneider","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012035947"],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":1.0169,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.73133799,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"128","last_page":"175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8462227582931519},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8090673089027405},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6981974244117737},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5148209929466248},{"id":"https://openalex.org/keywords/simulation-modeling","display_name":"Simulation modeling","score":0.41510236263275146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3315296471118927},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2616106867790222}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8462227582931519},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8090673089027405},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6981974244117737},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5148209929466248},{"id":"https://openalex.org/C108215451","wikidata":"https://www.wikidata.org/wiki/Q7263963","display_name":"Simulation modeling","level":2,"score":0.41510236263275146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3315296471118927},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2616106867790222},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/151257.151259","is_oa":false,"landing_page_url":"https://doi.org/10.1145/151257.151259","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W94129030","https://openalex.org/W141158723","https://openalex.org/W196640945","https://openalex.org/W1508357244","https://openalex.org/W1546220007","https://openalex.org/W1562135786","https://openalex.org/W1877496576","https://openalex.org/W1984248430","https://openalex.org/W2043100293","https://openalex.org/W2047229718","https://openalex.org/W2051113166","https://openalex.org/W2096039823","https://openalex.org/W2099529102","https://openalex.org/W2118393301","https://openalex.org/W2149843953","https://openalex.org/W2169343294","https://openalex.org/W2497391122","https://openalex.org/W2541514559","https://openalex.org/W2804777998","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2480201319","https://openalex.org/W2294325978","https://openalex.org/W2150101939"],"abstract_inverted_index":{"Debugging":[0],"is":[1,57,128,227,250,257,292,315],"one":[2],"of":[3,7,35,71,124,144,155,162,171,205,207,223,229,244,263,270,287,311,320],"the":[4,13,33,43,53,65,68,72,96,99,104,120,145,148,163,169,172,190,202,221,261,264,268,271,276,285,309],"main":[5],"uses":[6,85],"simulation.":[8],"Localizing":[9],"bugs":[10],"or":[11],"finding":[12],"reasons":[14,97],"for":[15,98,106,259,278,284,299],"unclear":[16],"behavior":[17,70,222],"involves":[18],"going":[19],"backwards":[20],"in":[21,27,52,63,67,214,290],"time,":[22],"whereas":[23],"simulation":[24,38,44,58,82,86,100,125,208,312],"goes":[25],"forward":[26],"time.":[28],"Therefore,":[29],"identifying":[30],"causes":[31],"with":[32,49,246],"aid":[34],"most":[36],"existing":[37],"tools":[39],"usually":[40],"requires":[41],"repeating":[42],"several":[45],"times,":[46],"each":[47],"time":[48],"reduced":[50],"holes":[51],"sieve.":[54],"An":[55],"alternative":[56],"by":[59,77,87,126,294,313],"deduction,":[60],"a":[61,78,110,137,141,215,241,253,288,295,329],"technique":[62],"which":[64,219],"steps":[66],"dynamic":[69],"simulated":[73,149,272],"model":[74],"are":[75],"deduced":[76],"reasoning":[79,254],"system.":[80],"A":[81],"system":[83,111,192,216,255,298],"that":[84,129,134,256,326],"deduction":[88,127,286,314],"can":[89,112],"give":[90],"direct":[91],"answers":[92],"to":[93,180,194,200,317],"questions":[94,118],"about":[95,119],"results.":[101],"By":[102],"recording":[103,275],"support":[105,277],"its":[107,279],"deductions,":[108],"such":[109],"answer":[113],"\u201cwhy\u201d":[114],"and":[115,147,166,234,274,322],"\u201cwhy":[116,232],"not\u201d":[117],"scenario.":[121],"Another":[122],"benefit":[123],"it":[130],"enables":[131],"symbolic":[132],"simulation,":[133],"is,":[135],"simulating":[136],"scenario":[138],"given":[139],"only":[140,325],"partial":[142,188,247],"description":[143],"environment":[146],"model.":[150],"This":[151],"allows":[152],"verifying":[153],"properties":[154],"an":[156],"evolving":[157],"design":[158,164,173],"at":[159],"any":[160],"stage":[161],"process,":[165],"thus":[167],"checking":[168],"consequences":[170],"decisions":[174],"made":[175],"so":[176],"far.":[177],"In":[178],"order":[179],"allow":[181],"deducing":[182,260],"as":[183,185,307],"much":[184],"possible":[186],"from":[187],"information,":[189],"axiom":[191,297],"has":[193,240],"be":[195],"minimalistic,":[196],"i.e.,":[197],"axioms":[198],"have":[199,328],"require":[201],"minimum":[203],"amount":[204],"knowledge":[206],"inputs.":[209],"These":[210],"ideas":[211],"were":[212],"implemented":[213],"called":[217],"SIP,":[218],"simulates":[220,303],"reactive":[224,304],"systems.":[225],"SIP":[226,249,291,302],"capable":[228],"answering":[230],"\u201cwhy,\u201d":[231],"not,\u201d":[233],"\u201cwhat":[235],"if\u201d":[236],"questions.":[237],"It":[238],"also":[239],"limited":[242],"capability":[243],"dealing":[245],"knowledge.":[248],"based":[251],"on":[252,267],"responsible":[258],"effects":[262],"external":[265],"inputs":[266],"state":[269],"model,":[273],"deductions.":[280],"The":[281],"logical":[282],"basis":[283],"step":[289],"provided":[293,324],"minimalistic":[296],"statecharts.":[300],"Although":[301],"systems":[305,321],"described":[306],"statecharts,":[308],"principle":[310],"applicable":[316],"other":[318],"types":[319],"descriptions,":[323],"they":[327],"well-defined":[330],"formal":[331],"semantics.":[332]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}