{"id":"https://openalex.org/W2038577005","doi":"https://doi.org/10.1145/1878537.1878788","title":"Applying data-flow analysis to models a novel approach for model analysis","display_name":"Applying data-flow analysis to models a novel approach for model analysis","publication_year":2010,"publication_date":"2010-04-11","ids":{"openalex":"https://openalex.org/W2038577005","doi":"https://doi.org/10.1145/1878537.1878788","mag":"2038577005"},"language":"en","primary_location":{"id":"doi:10.1145/1878537.1878788","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1878537.1878788","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 Spring Simulation Multiconference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44096","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048198360","display_name":"Christian Saad","orcid":null},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christian Saad","raw_affiliation_strings":["University of Augsburg, Germany","University of Augsburg , Germany"],"affiliations":[{"raw_affiliation_string":"University of Augsburg, Germany","institution_ids":["https://openalex.org/I179225836"]},{"raw_affiliation_string":"University of Augsburg , Germany","institution_ids":["https://openalex.org/I179225836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103130753","display_name":"Bernhard Bauer","orcid":"https://orcid.org/0000-0002-7931-1105"},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Bauer","raw_affiliation_strings":["University of Augsburg, Germany","University of Augsburg , Germany"],"affiliations":[{"raw_affiliation_string":"University of Augsburg, Germany","institution_ids":["https://openalex.org/I179225836"]},{"raw_affiliation_string":"University of Augsburg , Germany","institution_ids":["https://openalex.org/I179225836"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048198360"],"corresponding_institution_ids":["https://openalex.org/I179225836"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17552979,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"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.9997000098228455,"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.9997000098228455,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.8537044525146484},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8470621705055237},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.6652294397354126},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6279211044311523},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.5763871073722839},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.5492073893547058},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5469779968261719},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.5241073369979858},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4704153835773468},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4695079028606415},{"id":"https://openalex.org/keywords/domain-model","display_name":"Domain model","score":0.4680953323841095},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4576849043369293},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.41786989569664},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral modeling","score":0.4175112843513489},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4170275628566742},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.3534938097000122},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29796406626701355},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.24184679985046387},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.09070366621017456},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08481228351593018}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8537044525146484},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8470621705055237},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.6652294397354126},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6279211044311523},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.5763871073722839},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.5492073893547058},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5469779968261719},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.5241073369979858},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4704153835773468},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4695079028606415},{"id":"https://openalex.org/C92548554","wikidata":"https://www.wikidata.org/wiki/Q2262868","display_name":"Domain model","level":3,"score":0.4680953323841095},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4576849043369293},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.41786989569664},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.4175112843513489},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4170275628566742},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.3534938097000122},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29796406626701355},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24184679985046387},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.09070366621017456},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08481228351593018},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1878537.1878788","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1878537.1878788","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 Spring Simulation Multiconference","raw_type":"proceedings-article"},{"id":"pmh:oai:uni-augsburg.opus-bayern.de:44096","is_oa":true,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-440961","pdf_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44096","source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"bookpart"}],"best_oa_location":{"id":"pmh:oai:uni-augsburg.opus-bayern.de:44096","is_oa":true,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-440961","pdf_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44096","source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"bookpart"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2038577005.pdf"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W169077386","https://openalex.org/W1500477099","https://openalex.org/W1561530488","https://openalex.org/W1574831287","https://openalex.org/W2171803543","https://openalex.org/W2549797416"],"related_works":["https://openalex.org/W234248761","https://openalex.org/W2354476589","https://openalex.org/W1894394044","https://openalex.org/W2374471852","https://openalex.org/W2168912926","https://openalex.org/W2102997561","https://openalex.org/W2074804367","https://openalex.org/W2108088883","https://openalex.org/W2102276911","https://openalex.org/W2038577005"],"abstract_inverted_index":{"Using":[0],"modeling":[1,30,78],"techniques,":[2],"the":[3,21,27,46,71,77,82],"structure":[4],"of":[5,23,29,48,73,85,94],"an":[6,13,91],"application":[7],"domain":[8],"can":[9],"be":[10],"captured":[11],"in":[12],"easy":[14],"and":[15,35],"highly":[16],"expressive":[17],"way.":[18],"However,":[19],"while":[20],"use":[22],"meta":[24],"models":[25],"for":[26,62,90],"definition":[28],"languages":[31],"is":[32,51],"a":[33,53,59,86],"common":[34],"well-understood":[36],"activity,":[37],"extracting":[38],"information":[39],"about":[40],"behavioral":[41],"properties":[42],"as":[43,45],"well":[44],"validation":[47],"static":[49],"semantics":[50],"still":[52],"challenge.In":[54],"this":[55,88],"paper":[56],"we":[57],"present":[58],"novel":[60],"approach":[61],"model":[63],"analysis":[64,75],"that":[65],"addresses":[66],"these":[67],"issues":[68],"by":[69],"applying":[70],"method":[72],"dataflow":[74],"to":[76],"domain.":[79],"By":[80],"approximating":[81],"dynamic":[83],"behavior":[84],"model,":[87],"allows":[89],"abstract":[92],"interpretation":[93],"its":[95],"runtime":[96],"characteristics.":[97]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}