{"id":"https://openalex.org/W3172915327","doi":"https://doi.org/10.1007/978-3-030-78089-0_3","title":"A Formalisation of SysML State Machines in mCRL2","display_name":"A Formalisation of SysML State Machines in mCRL2","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3172915327","doi":"https://doi.org/10.1007/978-3-030-78089-0_3","mag":"3172915327"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-78089-0_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-78089-0_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/ac3f7cb8-1c4c-4408-8765-19e3d89cd8eb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071654276","display_name":"Mark Bouwman","orcid":"https://orcid.org/0000-0002-5131-008X"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Mark Bouwman","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands","Eindhoven University of Technology [Eindhoven]"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology [Eindhoven]","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067908378","display_name":"Bas Luttik","orcid":"https://orcid.org/0000-0001-6710-8436"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Luttik","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands","Eindhoven University of Technology [Eindhoven]"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology [Eindhoven]","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048849728","display_name":"Djurre van der Wal","orcid":"https://orcid.org/0000-0003-4214-5438"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Djurre van der Wal","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands","University of Twente"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"University of Twente","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071654276"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.2198,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.97463284,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"42","last_page":"59"},"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.9980000257492065,"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.9980000257492065,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9968000054359436,"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/systems-modeling-language","display_name":"Systems Modeling Language","score":0.8964707851409912},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8126742839813232},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7101162075996399},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.6058076620101929},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5151956677436829},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.49327296018600464},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47300654649734497},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.45677700638771057},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4350176751613617},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4321897625923157},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.4265403747558594},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.407328337430954},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3830619156360626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3444421887397766},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.30992820858955383},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.06504121422767639}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.8964707851409912},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8126742839813232},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7101162075996399},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.6058076620101929},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5151956677436829},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.49327296018600464},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47300654649734497},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.45677700638771057},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4350176751613617},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4321897625923157},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.4265403747558594},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.407328337430954},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3830619156360626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3444421887397766},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.30992820858955383},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06504121422767639}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-030-78089-0_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-78089-0_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:openaire/ac3f7cb8-1c4c-4408-8765-19e3d89cd8eb","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ac3f7cb8-1c4c-4408-8765-19e3d89cd8eb","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bouwman, M, Luttik, B & van der Wal, D 2021, A Formalisation of SysML State Machines in mCRL2. in K Peters & T A Willemse (eds), Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14\u201318, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 12719, Springer, Cham, pp. 42-59, 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Virtual, Online, 14/06/21. https://doi.org/10.1007/978-3-030-78089-0_3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire/eed84a92-ef09-4191-9c77-256c9a5623e1","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/eed84a92-ef09-4191-9c77-256c9a5623e1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bouwman, M, Luttik, B & Van der wal, D 2021, A Formalisation of SysML State Machines in mCRL2. in Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14\u201318, 2021, Proceedings. vol. 12719, Chapter 3, Lecture Notes in Computer Science, vol. 12719, Springer, pp. 42-59, 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, Valletta, Malta, 14/06/21. https://doi.org/10.1007/978-3-030-78089-0_3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-03740264v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-03740264","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.42-59, ⟨10.1007/978-3-030-78089-0_3⟩","raw_type":"Conference papers"},{"id":"pmh:oai:ris.utwente.nl:publications/eed84a92-ef09-4191-9c77-256c9a5623e1","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/ac3f7cb8-1c4c-4408-8765-19e3d89cd8eb","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ac3f7cb8-1c4c-4408-8765-19e3d89cd8eb","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bouwman, M, Luttik, B & van der Wal, D 2021, A Formalisation of SysML State Machines in mCRL2. in K Peters & T A Willemse (eds), Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14\u201318, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 12719, Springer, Cham, pp. 42-59, 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Virtual, Online, 14/06/21. https://doi.org/10.1007/978-3-030-78089-0_3","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W92192699","https://openalex.org/W104255266","https://openalex.org/W137536751","https://openalex.org/W1570069626","https://openalex.org/W1595858173","https://openalex.org/W1804076355","https://openalex.org/W1947925521","https://openalex.org/W1953298634","https://openalex.org/W1977237988","https://openalex.org/W1987612454","https://openalex.org/W2020034474","https://openalex.org/W2134593035","https://openalex.org/W2138696525","https://openalex.org/W2159720139","https://openalex.org/W2164045217","https://openalex.org/W2769171049","https://openalex.org/W2889381314","https://openalex.org/W2912814862","https://openalex.org/W2931334490","https://openalex.org/W3121182337","https://openalex.org/W4206056772","https://openalex.org/W4230290951"],"related_works":["https://openalex.org/W156802673","https://openalex.org/W3172915327","https://openalex.org/W243559319","https://openalex.org/W2031504906","https://openalex.org/W1594664413","https://openalex.org/W2178154822","https://openalex.org/W756066436","https://openalex.org/W1536552036","https://openalex.org/W2752133100","https://openalex.org/W2030688702"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}