{"id":"https://openalex.org/W2121519505","doi":"https://doi.org/10.1145/2508443.2508452","title":"Viewpoints, formalisms, languages, and tools for cyber-physical systems","display_name":"Viewpoints, formalisms, languages, and tools for cyber-physical systems","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2121519505","doi":"https://doi.org/10.1145/2508443.2508452","mag":"2121519505"},"language":"en","primary_location":{"id":"doi:10.1145/2508443.2508452","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2508443.2508452","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Workshop on Multi-Paradigm Modeling","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-164159","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073873489","display_name":"David Broman","orcid":"https://orcid.org/0000-0001-8457-4105"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]},{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE","US"],"is_corresponding":true,"raw_author_name":"David Broman","raw_affiliation_strings":["University of California, Berkeley and Link\u00f6ping University, Sweden"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley and Link\u00f6ping University, Sweden","institution_ids":["https://openalex.org/I102134673","https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009831760","display_name":"Edward A. Lee","orcid":"https://orcid.org/0000-0002-5663-0584"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edward A. Lee","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080042319","display_name":"Stavros Tripakis","orcid":"https://orcid.org/0000-0002-1777-493X"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stavros Tripakis","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065527926","display_name":"Martin T\u00f6rngren","orcid":"https://orcid.org/0000-0002-4300-885X"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Martin T\u00f6rngren","raw_affiliation_strings":["KTH, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073873489"],"corresponding_institution_ids":["https://openalex.org/I102134673","https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":4.9771,"has_fulltext":false,"cited_by_count":82,"citation_normalized_percentile":{"value":0.95531838,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"49","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9984999895095825,"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/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.978255033493042},{"id":"https://openalex.org/keywords/viewpoints","display_name":"Viewpoints","score":0.9512646794319153},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7124471664428711},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5882695317268372},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5194958448410034},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.49575528502464294},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.41285839676856995},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.41191065311431885},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3455421030521393},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.33042603731155396},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3045389652252197},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13180413842201233},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10891032218933105},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07551056146621704}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.978255033493042},{"id":"https://openalex.org/C2776035091","wikidata":"https://www.wikidata.org/wiki/Q7928819","display_name":"Viewpoints","level":2,"score":0.9512646794319153},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7124471664428711},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5882695317268372},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5194958448410034},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.49575528502464294},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.41285839676856995},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.41191065311431885},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3455421030521393},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.33042603731155396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3045389652252197},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13180413842201233},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10891032218933105},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07551056146621704},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2508443.2508452","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2508443.2508452","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Workshop on Multi-Paradigm Modeling","raw_type":"proceedings-article"},{"id":"pmh:oai:berkeley.edu:28722-bk00153750t","is_oa":false,"landing_page_url":"http://techreports.lib.berkeley.edu/accessPages/EECS-2014-106.html","pdf_url":null,"source":{"id":"https://openalex.org/S7407050879","display_name":"UC Berkeley","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"technical reports"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.462.3783","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.462.3783","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.berkeley.edu/~stavros/papers/mpm2012.pdf","raw_type":"text"},{"id":"pmh:oai:DiVA.org:kth-164159","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-164159","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-164159","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-164159","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6499999761581421}],"awards":[{"id":"https://openalex.org/G1950296968","display_name":null,"funder_award_id":"0720882, 0931843, 1035672","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G298080217","display_name":null,"funder_award_id":"0931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G307992246","display_name":null,"funder_award_id":"W911NF-11-2-0038","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G3331613907","display_name":null,"funder_award_id":"931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3659842485","display_name":null,"funder_award_id":"10356","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G4262820855","display_name":null,"funder_award_id":"623-2011-955","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G6440461290","display_name":null,"funder_award_id":"0720882","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320334962","display_name":"Sixth Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"},{"id":"https://openalex.org/F4320338295","display_name":"Army Research Laboratory","ror":"https://ror.org/011hc8f90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W9124626","https://openalex.org/W231375030","https://openalex.org/W655981390","https://openalex.org/W1489391022","https://openalex.org/W1521496944","https://openalex.org/W1522448884","https://openalex.org/W1539432158","https://openalex.org/W1543281322","https://openalex.org/W1594805844","https://openalex.org/W1597755753","https://openalex.org/W1816012646","https://openalex.org/W1874725288","https://openalex.org/W1968682853","https://openalex.org/W2000947342","https://openalex.org/W2001598892","https://openalex.org/W2004463571","https://openalex.org/W2042388195","https://openalex.org/W2047587193","https://openalex.org/W2077099824","https://openalex.org/W2080101372","https://openalex.org/W2091158003","https://openalex.org/W2099529102","https://openalex.org/W2101508170","https://openalex.org/W2117689522","https://openalex.org/W2118635884","https://openalex.org/W2118824103","https://openalex.org/W2125415493","https://openalex.org/W2130346961","https://openalex.org/W2135259582","https://openalex.org/W2144040052","https://openalex.org/W2153132823","https://openalex.org/W2156938039","https://openalex.org/W2165973617","https://openalex.org/W2169180789","https://openalex.org/W4205958241","https://openalex.org/W4231284135","https://openalex.org/W4254671851","https://openalex.org/W4298263761","https://openalex.org/W6635748902","https://openalex.org/W6635964534","https://openalex.org/W6650476192","https://openalex.org/W6650777032","https://openalex.org/W6681418194"],"related_works":["https://openalex.org/W2385368906","https://openalex.org/W2902924992","https://openalex.org/W2626642044","https://openalex.org/W2388758053","https://openalex.org/W93537448","https://openalex.org/W2619807045","https://openalex.org/W2121519505","https://openalex.org/W2493245337","https://openalex.org/W2912209160","https://openalex.org/W2578347977"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPS)":[2],"are":[3,110,134,146],"becoming":[4],"indispensable":[5],"in":[6,38,70],"our":[7],"modern":[8],"way":[9],"of":[10,76,120,140],"life.":[11],"As":[12,20,118],"an":[13,21,35],"application":[14],"domain":[15],"CPS":[16,31,39,102],"is":[17,34],"not":[18],"new.":[19],"intellectual":[22],"discipline,":[23],"however,":[24],"it":[25],"is.":[26],"This":[27],"paper":[28],"focuses":[29],"on":[30],"modeling,":[32],"which":[33,80,92,109],"essential":[36],"activity":[37],"design,":[40],"with":[41],"multiple":[42],"challenges.":[43],"In":[44],"particular,":[45],"stakeholders":[46,94],"lack":[47],"a":[48,68,97],"systematic":[49],"framework":[50,69,74],"and":[51,63,85,89,105,128,130,142],"guidelines":[52],"to":[53,148],"help":[54],"them":[55],"choose":[56],"among":[57,91],"the":[58,82,93,111,115,121],"many":[59],"available":[60],"modeling":[61],"languages":[62,88],"tools.":[64],"We":[65,136],"propose":[66],"such":[67],"this":[71],"paper.":[72],"Our":[73],"consists":[75],"three":[77],"elements:":[78],"viewpoints,":[79],"capture":[81],"stakeholders'":[83],"interests":[84],"concerns;":[86],"concrete":[87],"tools,":[90],"must":[95],"make":[96],"selection":[98],"when":[99],"defining":[100],"their":[101],"design":[103],"environments;":[104],"abstract,":[106],"mathematical":[107],"formalisms,":[108,126],"\"semantic":[112],"glue\"":[113],"linking":[114],"two":[116],"worlds.":[117],"part":[119],"framework,":[122],"we":[123],"survey":[124],"various":[125],"languages,":[127],"tools":[129],"explain":[131],"how":[132,144],"they":[133,145],"related.":[135],"also":[137],"provide":[138],"examples":[139],"viewpoints":[141],"discuss":[143],"related":[147],"formalisms.":[149]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":16},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":6}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}