{"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","doi":"https://doi.org/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,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"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"},"volume":{"id":"https://openalex.org/W2491183081","display_name":"Theory and Practice of Model Transformations"},"type":"conference-paper","is_traditional":true,"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":"Marcel F. van Amstel","orcid":null,"observed_orcids":[]},"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","observed_orcids":["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/A5113663576","display_name":"Zvezdan Proti\u0107","orcid":null,"observed_orcids":[]},"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","observed_orcids":["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":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1301,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.87264654,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9872999787330627,"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.9872999787330627,"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/T10126","display_name":"Logic, programming, and type systems","score":0.009100000374019146,"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/T10142","display_name":"Formal Methods in Verification","score":0.0026000000070780516,"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/process-calculus","display_name":"process algebra","score":0.9369999766349792},{"id":"https://openalex.org/keywords/acp","display_name":"ACP","score":0.6940000057220459},{"id":"https://openalex.org/keywords/uml-state-machines","display_name":"UML state machines","score":0.996999979019165},{"id":"https://openalex.org/keywords/model-transformation","display_name":"model transformation","score":0.902999997138977},{"id":"https://openalex.org/keywords/semantic-gap","display_name":"semantic gap","score":0.8769999742507935},{"id":"https://openalex.org/keywords/structural-preservation","display_name":"structural preservation","score":0.9359999895095825},{"id":"https://openalex.org/keywords/automatic-software-generation","display_name":"automatic software generation","score":0.9430000185966492},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.5320000052452087},{"id":"https://openalex.org/keywords/transformation-tools","display_name":"transformation tools","score":0.4180000126361847}],"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":5,"locations":[{"id":"doi:10.1007/978-3-540-69927-9_5","doi":"https://doi.org/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,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"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","doi":null,"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,"listed_in":[],"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/conferenceObject"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.457.4451","doi":null,"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:library.tue.nl:664424","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/664424","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,"listed_in":[],"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":"info:eu-repo/semantics/other"},{"id":"pmh:tue:oai:pure.tue.nl:publications/d7c388cc-d136-4a03-993d-a7d5e93808a2","doi":null,"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/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"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/W3150132563","https://openalex.org/W4244719572","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2328103094","https://openalex.org/W2183829619","https://openalex.org/W7207939416","https://openalex.org/W1595858173","https://openalex.org/W2484439396","https://openalex.org/W4390142151","https://openalex.org/W7096101672","https://openalex.org/W2067573553","https://openalex.org/W2139392448","https://openalex.org/W4315690097"],"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":2012,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}