{"id":"https://openalex.org/W153133352","doi":null,"title":"CASE support and model-based development","display_name":"CASE support and model-based development","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W153133352","mag":"153133352"},"language":"en","primary_location":{"id":"mag:153133352","doi":null,"is_oa":false,"landing_page_url":"https://subs.emis.de/LNI/Proceedings/Proceedings45/GI-Proceedings.45-39.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306520108","display_name":"Modellierung","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Modellierung","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5112136308","display_name":"Bernhard Sch\u00e4tz","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Sch\u00e4tz","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043645489","display_name":"Jan Romberg","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Romberg","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002977474","display_name":"Oscar Slotosch","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Oscar Slotosch","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004844102","display_name":"Martin Strecker","orcid":"https://orcid.org/0000-0001-9953-9871","observed_orcids":["https://orcid.org/0000-0001-9953-9871"]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Strecker","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":"https://orcid.org/0000-0001-9953-9871","affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0358403,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"283","last_page":"284"},"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.9740999937057495,"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.9740999937057495,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.010999999940395355,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.004699999932199717,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/case-tools","display_name":"CASE tools","score":0.828000009059906},{"id":"https://openalex.org/keywords/model-driven-engineering","display_name":"model-driven engineering","score":0.9440000057220459},{"id":"https://openalex.org/keywords/embedded-software","display_name":"embedded software","score":0.8270000219345093},{"id":"https://openalex.org/keywords/real-time-systems","display_name":"real-time systems","score":0.6600000262260437},{"id":"https://openalex.org/keywords/model-consistency-checking","display_name":"model consistency checking","score":0.6769999861717224},{"id":"https://openalex.org/keywords/semantic-consistency","display_name":"semantic consistency","score":0.5479999780654907},{"id":"https://openalex.org/keywords/event-driven-model","display_name":"event-driven model","score":0.6100000143051147},{"id":"https://openalex.org/keywords/model-abstraction","display_name":"model abstraction","score":0.3050000071525574},{"id":"https://openalex.org/keywords/tool-comparison","display_name":"tool comparison","score":0.49799999594688416},{"id":"https://openalex.org/keywords/sequence-diagrams","display_name":"sequence diagrams","score":0.4909999966621399},{"id":"https://openalex.org/keywords/state-machines","display_name":"state machines","score":0.7919999957084656}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7903181314468384},{"id":"https://openalex.org/C2779752788","wikidata":"https://www.wikidata.org/wiki/Q1266659","display_name":"Stateflow","level":3,"score":0.7129040956497192},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.6577730774879456},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6420648097991943},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5584001541137695},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4829061031341553},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.47950679063796997},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47484543919563293},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45899727940559387},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4538416564464569},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.41477733850479126},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4108123779296875},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3487620949745178},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3060300350189209},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.18601736426353455},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:153133352","doi":null,"is_oa":false,"landing_page_url":"https://subs.emis.de/LNI/Proceedings/Proceedings45/GI-Proceedings.45-39.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306520108","display_name":"Modellierung","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Modellierung","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W68912423","https://openalex.org/W7099044125","https://openalex.org/W1990284916","https://openalex.org/W2134345746","https://openalex.org/W2954902437","https://openalex.org/W82111005","https://openalex.org/W94647188","https://openalex.org/W2108322806","https://openalex.org/W7097519896","https://openalex.org/W7220941776"],"abstract_inverted_index":{"To":[0],"assess":[1],"the":[2,5,9,17,26,57,71,87,93,99,102,105,114,120,123,130,135,152,177,180,193,200,206],"state":[3,244],"of":[4,11,19,28,104,132,183,217],"art,":[6],"we":[7],"compare":[8],"results":[10],"applying":[12],"eight":[13],"different":[14],"tools":[15,38,61,140,165,211],"for":[16,62,89],"development":[18],"embedded":[20,63,185],"software":[21,30],"to":[22,69,77,85,97,119],"a":[23,29,232,237],"common":[24],"problem:":[25],"specification":[27],"module":[31],"controlling":[32],"comfort":[33],"electronic":[34],"functionality.":[35],"The":[36],"applied":[37],"are":[39],"(ARTiSAN":[40],"RealTime":[41],"Studio,":[42],"ASCET-SD,":[43],"AutoFOCUS,":[44],"MATLAB/StateFlow,":[45],"Rose":[46],"RealTime,":[47],"Rhapsody":[48],"in":[49],"MicroC,":[50],"Telelogic":[51],"Tau,":[52],"Trice":[53],"Tool).":[54],"Besides":[55,192],"providing":[56],"abovementioned":[58],"support,":[59,203],"these":[60],"systems":[64],"additionally":[65],"offer":[66],"support":[67,167,212,224],"\u2022":[68,76,84,96],"describe":[70],"system":[72,100,186],"using":[73],"hierarchic":[74],"views":[75],"use":[78,143],"message/signal-based":[79],"communication,":[80],"including":[81],"timing":[82],"aspects":[83],"check":[86],"model":[88],"inconsistencies,":[90],"mainly":[91],"on":[92,176],"syntactic":[94,213],"level":[95,103,131],"simulate":[98],"at":[101,148],"description":[106],".":[107],"There":[108],"are,":[109],"however,":[110],"significant":[111],"differences":[112],"between":[113],"offered":[115,201],"functionalities,":[116],"generally":[117,166,222],"related":[118],"application":[121,190],"domain":[122],"tool":[124],"is":[125],"targeting.":[126],"They":[127],"differ":[128,198],"concerning":[129,199,205],"abstraction":[133],"from":[134],"implementation":[136],"they":[137,196],"use.":[138],"Some":[139],"rather":[141],"consequently":[142],"this":[144],"abstract":[145],"model;":[146],"others":[147],"least":[149],"partly":[150],"keep":[151],"implementational":[153],"view,":[154],"modeling":[155],"components,":[156],"e.g.,":[157],"by":[158,161,243],"object":[159],"communicating":[160],"method":[162],"call.":[163],"Furthermore,":[164],"only":[168],"either":[169,175],"event-driven":[170],"or":[171,179],"time-driven":[172],"models,":[173],"focusing":[174],"reactive":[178],"control":[181],"part":[182],"an":[184],"without":[187],"integrating":[188],"those":[189],"domains.":[191],"underlying":[194],"model,":[195],"also":[197],"process":[202],"especially":[204],"consistency":[207,214,226],"mechanism.":[208],"Generally,":[209],"all":[210],"(e.g,":[215],"well-formedness":[216],"trigger":[218],"conditions).":[219],"Tools":[220],"do":[221],"not":[223],"semantic":[225],"with":[227],"few":[228],"exceptions":[229],"exist":[230],"(e.g.,":[231],"non-determinism":[233],"check,":[234],"checking":[235],"whether":[236],"sequence":[238],"diagram":[239],"can":[240],"be":[241],"executed":[242],"machines).1":[245]},"counts_by_year":[],"updated_date":"2025-10-10T17:16:08.811792","created_date":"2016-06-24T00:00:00"}