{"id":"https://openalex.org/W2972063720","doi":"https://doi.org/10.5220/0007573801430156","title":"On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers","display_name":"On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2972063720","doi":"https://doi.org/10.5220/0007573801430156","mag":"2972063720"},"language":"en","primary_location":{"id":"doi:10.5220/0007573801430156","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007573801430156","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0007573801430156","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044509944","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0001-5292-801X"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Guy Katz","raw_affiliation_strings":["The Hebrew University of Jerusalem, Jerusalem and Israel, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem, Jerusalem and Israel, --- Select a Country ---","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068704563","display_name":"Assaf Marron","orcid":"https://orcid.org/0000-0001-5904-5105"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Assaf Marron","raw_affiliation_strings":["Weizmann Institute of Science, Rehovot and Israel, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science, Rehovot and Israel, --- Select a Country ---","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085241974","display_name":"Aviran Sadon","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Aviran Sadon","raw_affiliation_strings":["Ben-Gurion University of the Negev, Be\u2019er Sheva and Israel, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Be\u2019er Sheva and Israel, --- Select a Country ---","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026812393","display_name":"Gera Weiss","orcid":"https://orcid.org/0000-0002-5832-8768"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Gera Weiss","raw_affiliation_strings":["Ben-Gurion University of the Negev, Be\u2019er Sheva and Israel, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Be\u2019er Sheva and Israel, --- Select a Country ---","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044509944"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":null,"apc_paid":null,"fwci":0.35076666,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63304768,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"143","last_page":"156"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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.9991999864578247,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/on-the-fly","display_name":"On the fly","score":0.6848115921020508},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6743741035461426},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6342305541038513},{"id":"https://openalex.org/keywords/composite-number","display_name":"Composite number","score":0.497480183839798},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22358974814414978},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14213603734970093},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10704851150512695},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.0936489999294281}],"concepts":[{"id":"https://openalex.org/C2781020372","wikidata":"https://www.wikidata.org/wiki/Q533093","display_name":"On the fly","level":2,"score":0.6848115921020508},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6743741035461426},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6342305541038513},{"id":"https://openalex.org/C104779481","wikidata":"https://www.wikidata.org/wiki/Q50707","display_name":"Composite number","level":2,"score":0.497480183839798},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22358974814414978},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14213603734970093},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10704851150512695},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0936489999294281}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0007573801430156","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007573801430156","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0007573801430156","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007573801430156","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1482962177","https://openalex.org/W1518558009","https://openalex.org/W1578262153","https://openalex.org/W1592055490","https://openalex.org/W1787074469","https://openalex.org/W1909251011","https://openalex.org/W1966981556","https://openalex.org/W1979863523","https://openalex.org/W2001969674","https://openalex.org/W2015198047","https://openalex.org/W2025460523","https://openalex.org/W2031353628","https://openalex.org/W2041701185","https://openalex.org/W2082172430","https://openalex.org/W2097856935","https://openalex.org/W2099529102","https://openalex.org/W2129950700","https://openalex.org/W2165094929","https://openalex.org/W2179029238","https://openalex.org/W2202732950","https://openalex.org/W2293396038","https://openalex.org/W2296669295","https://openalex.org/W2297172695","https://openalex.org/W2339341469","https://openalex.org/W2345051364","https://openalex.org/W2405914942","https://openalex.org/W2526396530","https://openalex.org/W2573385154","https://openalex.org/W2740087752","https://openalex.org/W2787210019","https://openalex.org/W2787984841","https://openalex.org/W2854587044","https://openalex.org/W2894626147","https://openalex.org/W2898819321","https://openalex.org/W2903169082","https://openalex.org/W2912640545","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Scenario-Based":[0,89,163],"Programming":[1],"is":[2],"a":[3],"methodology":[4],"for":[5,45],"modeling":[6,80],"and":[7,30,35,75,144],"constructing":[8],"complex":[9,82],"reactive":[10],"systems":[11,150],"from":[12,79],"simple,":[13],"stand-alone":[14],"building":[15],"blocks,":[16],"called":[17],"scenarios.":[18],"These":[19],"scenarios":[20,49,95],"are":[21],"designed":[22],"to":[23,37,50,87,93,96,119,148],"model":[24],"different":[25],"traits":[26],"of":[27,54,126,141],"the":[28,56,71,99,128,132],"system,":[29,129],"can":[31],"be":[32,154],"interwoven":[33],"together":[34],"executed":[36],"produce":[38],"cohesive":[39],"system":[40,57,100,135],"behavior.":[41,136],"Existing":[42],"execution":[43,91],"frameworks":[44],"scenario-based":[46],"programs":[47],"allow":[48,94],"specify":[51,97],"their":[52],"view":[53],"what":[55],"must,":[58],"may,":[59],"or":[60,116],"must":[61],"not":[62,153],"do":[63],"only":[64],"through":[65],"very":[66],"strict":[67],"interfaces.":[68],"This":[69],"limits":[70],"methodology's":[72],"expressive":[73],"power":[74],"often":[76],"prevents":[77],"users":[78],"certain":[81],"requirements.":[83],"Here,":[84],"we":[85],"propose":[86],"extend":[88],"Programming's":[90],"mechanism":[92],"how":[98],"should":[101],"behave":[102],"using":[103],"rich":[104],"logical":[105],"constraints.":[106],"We":[107,137],"then":[108],"leverage":[109],"modern":[110],"constraint":[111],"solvers":[112],"(such":[113],"as":[114],"SAT":[115],"SMT":[117],"solvers)":[118],"resolve":[120],"these":[121],"constraints":[122],"at":[123],"every":[124],"step":[125],"running":[127],"towards":[130],"yielding":[131],"desired":[133],"overall":[134],"provide":[138],"an":[139,158],"implementation":[140],"our":[142],"approach":[143],"demonstrate":[145],"its":[146],"applicability":[147],"various":[149],"that":[151],"could":[152],"easily":[155],"modeled":[156],"in":[157],"executable":[159],"manner":[160],"by":[161],"existing":[162],"approaches.":[164]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}