{"id":"https://openalex.org/W4239453774","doi":"https://doi.org/10.1145/1656485","title":"Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation","display_name":"Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation","publication_year":2009,"publication_date":"2009-10-05","ids":{"openalex":"https://openalex.org/W4239453774","doi":"https://doi.org/10.1145/1656485"},"language":"en","primary_location":{"id":"doi:10.1145/1656485","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1656485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9990000128746033,"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.9990000128746033,"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.9894999861717224,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/model-transformation","display_name":"Model transformation","score":0.7975398302078247},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7614834308624268},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.7436582446098328},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6416484713554382},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5923704504966736},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5730671882629395},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5272088646888733},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.49553167819976807},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4802580177783966},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4396277666091919},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.424820214509964},{"id":"https://openalex.org/keywords/pace","display_name":"Pace","score":0.42202630639076233},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4114346206188202},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33334678411483765},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.281392902135849},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18531545996665955},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1830635964870453},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.12760353088378906},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12419435381889343},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.08430084586143494}],"concepts":[{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.7975398302078247},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7614834308624268},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.7436582446098328},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6416484713554382},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5923704504966736},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5730671882629395},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5272088646888733},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.49553167819976807},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4802580177783966},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4396277666091919},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.424820214509964},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.42202630639076233},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4114346206188202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33334678411483765},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.281392902135849},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18531545996665955},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1830635964870453},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.12760353088378906},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12419435381889343},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.08430084586143494},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1656485","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1656485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2092963190","https://openalex.org/W2020974281","https://openalex.org/W1998356535","https://openalex.org/W2225770667","https://openalex.org/W2895477119","https://openalex.org/W1537332528","https://openalex.org/W4238101021","https://openalex.org/W2014446749","https://openalex.org/W2486534708","https://openalex.org/W2074142999"],"abstract_inverted_index":{"Models":[0],"are":[1,5,179,248,256,286],"purposeful":[2],"abstractions.":[3],"They":[4,255],"used":[6,23,259],"to":[7,12,37,170,192,222,263],"make":[8],"complex":[9],"systems":[10],"easy":[11],"understand.":[13],"Beyond":[14],"their":[15],"use":[16],"as":[17],"documentations,":[18],"models":[19,35],"can":[20,202,208],"also":[21],"be":[22],"for":[24,59,69,99,144,174,260,267],"transformation":[25],"or":[26,271],"code":[27,51,107],"generation.":[28,108],"For":[29],"instance,":[30],"the":[31,44,65,70,151,158,189,194,211,228,277],"formal":[32],"foundation":[33],"of":[34,41,46,64,72,96,118,153,157,188,197,276],"allows":[36],"generate":[38],"large":[39],"parts":[40],"systems.":[42],"Thus,":[43],"usage":[45],"models,":[47,73,85,87,100],"model":[48,89,104,265,272],"transformations,":[49,105],"and":[50,56,88,106,115,129,133,146,164,176,183,199,206,240],"generation":[52],"is":[53,77,82,93,126,141,280],"becoming":[54],"more":[55,57],"important":[58,67],"industrial":[60,116],"applications.":[61],"As":[62],"one":[63],"most":[66],"representatives":[68],"application":[71],"Model-Driven":[74],"Engineering":[75],"(MDE)":[76],"a":[78,94,172,250,264,281],"development":[79,117],"methodology":[80],"that":[81,124,130,246],"based":[83],"on":[84,160,181,235],"meta":[86],"transformations.":[90],"Currently":[91],"there":[92,140],"lot":[95],"tool":[97],"support":[98],"(domain-specific)":[101],"modeling":[102],"languages,":[103],"The":[109,155,185,274],"constant":[110],"pace":[111],"at":[112],"which":[113],"scientific":[114],"MDE-related":[119],"techniques":[120,149,212],"moves":[121],"forward":[122],"shows":[123],"MDE":[125,198,203],"quickly":[127,252],"changing":[128],"new":[131],"approaches":[132],"corresponding":[134],"issues":[135],"arise":[136],"frequently.":[137],"Most":[138],"important,":[139],"crucial":[142],"need":[143],"validation":[145,165],"verification":[147,163,275],"(V&V)":[148],"in":[150,167],"context":[152],"MDE.":[154,184],"objective":[156],"workshop":[159,190],"model-driven":[161],"engineering,":[162],"(MoDeVVa)":[166],"2009":[168],"was":[169],"offer":[171],"forum":[173],"researchers":[175],"practitioners":[177],"who":[178],"working":[180],"V&V":[182,205,209],"main":[186],"goals":[187],"were":[191],"identify":[193],"mutual":[195],"impact":[196],"V&V:":[200],"How":[201],"improve":[204],"how":[207],"leverage":[210],"around":[213],"MDE?":[214],"This":[215],"year":[216],"we":[217,231],"have":[218,244],"had":[219],"21":[220],"submissions":[221],"MoDeVVa":[223],"from":[224],"12":[225],"countries.":[226],"In":[227],"review":[229],"process,":[230],"chose":[232],"9":[233],"papers":[234],"mainly":[236],"two":[237],"topics:":[238],"transformations":[239,247,278],"SUT":[241],"verification.":[242],"We":[243],"realized":[245],"currently":[249,287],"very":[251,257],"developing":[253],"topic.":[254],"often":[258],"attributing":[261],"semantics":[262],"---":[266],"simulation,":[268],"testing,":[269],"execution":[270],"checking,":[273],"themselves":[279],"promising":[282],"topic":[283],"whose":[284],"foundations":[285],"under":[288],"development.":[289]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}