{"id":"https://openalex.org/W2136395652","doi":"https://doi.org/10.1007/978-3-540-69927-9_5","title":"Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?","display_name":"Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2136395652","doi":"https://doi.org/10.1007/978-3-540-69927-9_5","mag":"2136395652"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-69927-9_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-69927-9_5","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017549418","display_name":"M. F. van Amstel","orcid":null},"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":"M. F. van Amstel","raw_affiliation_strings":["Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands 5600 MB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands 5600 MB","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029542014","display_name":"Mark van den Brand","orcid":"https://orcid.org/0000-0003-3529-6182"},"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":"M. G. J. van den Brand","raw_affiliation_strings":["Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114170822","display_name":"Z Zvezdan Protic","orcid":null},"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":"Z. Proti\u0107","raw_affiliation_strings":["Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands 5600 MB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands 5600 MB","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103729667","display_name":"T Tom Verhoeff","orcid":"https://orcid.org/0000-0002-5114-5985"},"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":"T. Verhoeff","raw_affiliation_strings":["Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands 5600 MB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands 5600 MB","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.6094,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.94793,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.7400872111320496},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6951274871826172},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5767431259155273},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5514678359031677},{"id":"https://openalex.org/keywords/semantic-gap","display_name":"Semantic gap","score":0.5444241166114807},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.4919554889202118},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.4774106740951538},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.4724236726760864},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4294793903827667},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42883923649787903},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4264274835586548},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.4104629456996918},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3371819853782654},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.33409470319747925},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3296443819999695},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08470383286476135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7400872111320496},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6951274871826172},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5767431259155273},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5514678359031677},{"id":"https://openalex.org/C86034646","wikidata":"https://www.wikidata.org/wiki/Q474311","display_name":"Semantic gap","level":4,"score":0.5444241166114807},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.4919554889202118},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.4774106740951538},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.4724236726760864},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4294793903827667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42883923649787903},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4264274835586548},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.4104629456996918},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3371819853782654},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.33409470319747925},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3296443819999695},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08470383286476135},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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/C1667742","wikidata":"https://www.wikidata.org/wiki/Q10927554","display_name":"Image retrieval","level":3,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-69927-9_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-69927-9_5","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_cris_publications/d7c388cc-d136-4a03-993d-a7d5e93808a2","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/d7c388cc-d136-4a03-993d-a7d5e93808a2","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Amstel, van, M F, Brand, van den, M G J, Protic, Z & Verhoeff, T 2008, Transforming process algebra models into UML state machines : Bridging a semantic gap? in A Vallecillo, J Gray & A Pierantonio (eds), Theory and Practice of Model Transformations (First International Conference, ICMT 2008, Z\u00fcrich, Switzerland, July 1-2, 2008 Proceedings). Lecture Notes in Computer Science, vol. 5063, Springer, Berlin, pp. 61-75. https://doi.org/10.1007/978-3-540-69927-9_5","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.457.4451","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.4451","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.win.tue.nl/~mvdbrand/courses/seminar/0809/papers/ICMT_2008_paper.pdf","raw_type":"text"},{"id":"pmh:tue:oai:pure.tue.nl:publications/d7c388cc-d136-4a03-993d-a7d5e93808a2","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/d7c388cc-d136-4a03-993d-a7d5e93808a2","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Model Transformations (First International Conference, ICMT 2008, Z\u00fcrich, Switzerland, July 1-2, 2008 Proceedings), 61 - 75","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W25687693","https://openalex.org/W203694843","https://openalex.org/W205742101","https://openalex.org/W1575771936","https://openalex.org/W1773158586","https://openalex.org/W1972478730","https://openalex.org/W1979038995","https://openalex.org/W2011694130","https://openalex.org/W2061420542","https://openalex.org/W2072607050","https://openalex.org/W2101206446","https://openalex.org/W2127340092","https://openalex.org/W2128804846","https://openalex.org/W2142284970","https://openalex.org/W2143777429","https://openalex.org/W2168927272","https://openalex.org/W2340102009","https://openalex.org/W3150132563","https://openalex.org/W4244719572","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4230811716","https://openalex.org/W4241150048","https://openalex.org/W1601767717","https://openalex.org/W1991550997","https://openalex.org/W2406303540","https://openalex.org/W2064897848","https://openalex.org/W2150469568","https://openalex.org/W2239785715","https://openalex.org/W2079238799","https://openalex.org/W2132128541"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}