{"id":"https://openalex.org/W2899943198","doi":"https://doi.org/10.1109/fdl.2018.8524065","title":"Sequential Behavioral Modeling for Scalable IoT Devices and Systems","display_name":"Sequential Behavioral Modeling for Scalable IoT Devices and Systems","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2899943198","doi":"https://doi.org/10.1109/fdl.2018.8524065","mag":"2899943198"},"language":"en","primary_location":{"id":"doi:10.1109/fdl.2018.8524065","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2018.8524065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"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/A5022784340","display_name":"Ege Korkan","orcid":"https://orcid.org/0000-0003-4910-4962"},"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":"Ege Korkan","raw_affiliation_strings":["Technical University of Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091424042","display_name":"Sebastian Kaebisch","orcid":"https://orcid.org/0000-0002-0544-4204"},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Kaebisch","raw_affiliation_strings":["Siemens AG, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG, Germany","institution_ids":["https://openalex.org/I1325886976"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052709634","display_name":"Matthias Kovatsch","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Kovatsch","raw_affiliation_strings":["Siemens AG, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG, Germany","institution_ids":["https://openalex.org/I1325886976"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080174920","display_name":"Sebastian Steinhorst","orcid":"https://orcid.org/0000-0002-4096-2584"},"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":"Sebastian Steinhorst","raw_affiliation_strings":["Technical University of Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":null,"first_page":"5","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8742847442626953},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7789969444274902},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.7306438088417053},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6804690361022949},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.5208576321601868},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4985041618347168},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.47629156708717346},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45777201652526855},{"id":"https://openalex.org/keywords/semantic-interoperability","display_name":"Semantic interoperability","score":0.4367194175720215},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4143046736717224},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.31246447563171387},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.28580915927886963},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.21722272038459778},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21513056755065918}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8742847442626953},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7789969444274902},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.7306438088417053},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6804690361022949},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.5208576321601868},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4985041618347168},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.47629156708717346},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45777201652526855},{"id":"https://openalex.org/C192800085","wikidata":"https://www.wikidata.org/wiki/Q5258530","display_name":"Semantic interoperability","level":3,"score":0.4367194175720215},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4143046736717224},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.31246447563171387},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28580915927886963},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.21722272038459778},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21513056755065918}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl.2018.8524065","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2018.8524065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1651289445","https://openalex.org/W2144607680","https://openalex.org/W2234639732","https://openalex.org/W2239835736","https://openalex.org/W2320950215","https://openalex.org/W2574902525","https://openalex.org/W2585423841","https://openalex.org/W2774494501","https://openalex.org/W4301217393","https://openalex.org/W6733000330"],"related_works":["https://openalex.org/W4386953431","https://openalex.org/W2355850745","https://openalex.org/W2109385585","https://openalex.org/W2157800466","https://openalex.org/W2388051831","https://openalex.org/W4292980915","https://openalex.org/W2531681040","https://openalex.org/W2908350895","https://openalex.org/W3209454962","https://openalex.org/W2885367039"],"abstract_inverted_index":{"The":[0],"Internet":[1],"of":[2,23,58,76,122,134,156],"Things":[3],"(IoT)":[4],"enables":[5,69,117],"connectivity":[6],"between":[7],"devices,":[8,77],"thereby":[9,106],"allowing":[10],"them":[11],"to":[12,28,51,96],"interact":[13],"with":[14,62],"each":[15],"other.":[16],"A":[17],"recurring":[18],"problem":[19],"is":[20,79,85],"the":[21,32,151],"emergence":[22],"siloed":[24],"IoT":[25,60],"platforms":[26],"due":[27],"proprietary":[29],"standards.":[30],"Recently,":[31],"World":[33],"Wide":[34],"Web":[35],"Consortium":[36],"(W3C)":[37],"proposed":[38],"a":[39,93,139],"human-readable":[40],"and":[41,55,64,67,119,150],"machine-":[42],"understandable":[43],"format":[44],"called":[45],"Thing":[46],"Description":[47],"(TD).":[48],"It":[49],"allows":[50],"uniformly":[52],"describe":[53,97],"device":[54],"service":[56],"interfaces":[57],"different":[59],"standards":[61],"syntactic":[63],"semantic":[65,70,109],"information,":[66],"hence":[68],"interoperability.":[71],"However,":[72],"describing":[73],"sequential":[74,99,132],"behavior":[75,100,145],"which":[78],"essential":[80],"for":[81],"many":[82],"cyber-physical":[83],"systems,":[84],"not":[86],"covered.":[87],"In":[88],"this":[89],"paper,":[90],"we":[91],"propose":[92],"systematic":[94],"way":[95],"such":[98],"as":[101,124,126,131],"an":[102],"extension":[103],"within":[104],"TDs,":[105],"increasing":[107],"their":[108],"expressiveness":[110],"through":[111],"possible,":[112],"valid":[113],"state":[114],"transitions.":[115],"This":[116],"safe":[118],"desired":[120],"operation":[121],"devices":[123],"well":[125],"scalability":[127],"by":[128],"modeling":[129],"systems":[130],"compositions":[133],"Things.":[135],"We":[136],"show":[137],"in":[138],"case":[140],"study":[141],"that":[142],"previously":[143],"unmodelable":[144],"can":[146,159],"now":[147],"be":[148,160],"expressed":[149],"overall":[152],"manual":[153],"intervention":[154],"requirements":[155],"state-of-the-art":[157],"implementations":[158],"significantly":[161],"reduced.":[162]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}