{"id":"https://openalex.org/W4252523713","doi":"https://doi.org/10.1109/icws.2004.1314753","title":"Transforming BPEL into annotated deterministic finite state automata for service discovery","display_name":"Transforming BPEL into annotated deterministic finite state automata for service discovery","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W4252523713","doi":"https://doi.org/10.1109/icws.2004.1314753"},"language":"en","primary_location":{"id":"doi:10.1109/icws.2004.1314753","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icws.2004.1314753","pdf_url":null,"source":{"id":"https://openalex.org/S4363608934","display_name":"Proceedings. IEEE International Conference on Web Services, 2004.","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. IEEE International Conference on Web Services, 2004.","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/6139962/P2004-05.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015965846","display_name":"Andreas Wombacher","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"A. Wombacher","raw_affiliation_strings":["Fraunhofer Gesellschaft, Integrated Publication and Information Systems Institute, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer Gesellschaft, Integrated Publication and Information Systems Institute, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086658522","display_name":"P. Fankhauser","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"P. Fankhauser","raw_affiliation_strings":["Fraunhofer Gesellschaft, Integrated Publication and Information Systems Institute, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer Gesellschaft, Integrated Publication and Information Systems Institute, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024907430","display_name":"E. Neuhold","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"E. Neuhold","raw_affiliation_strings":["Fraunhofer Gesellschaft, Integrated Publication and Information Systems Institute, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer Gesellschaft, Integrated Publication and Information Systems Institute, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210133470"],"apc_list":null,"apc_paid":null,"fwci":6.0943,"has_fulltext":true,"cited_by_count":73,"citation_normalized_percentile":{"value":0.97169419,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"316","last_page":"323"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"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.9984999895095825,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9961000084877014,"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/computer-science","display_name":"Computer science","score":0.8149979114532471},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.7812354564666748},{"id":"https://openalex.org/keywords/communication-source","display_name":"Communication source","score":0.680974543094635},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6766676902770996},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6422998905181885},{"id":"https://openalex.org/keywords/stateless-protocol","display_name":"Stateless protocol","score":0.6205302476882935},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5850314497947693},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5810756087303162},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5017285346984863},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47127339243888855},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4656193256378174},{"id":"https://openalex.org/keywords/service-discovery","display_name":"Service discovery","score":0.4594131410121918},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4169192910194397},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4168490469455719},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.3037402927875519},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29620853066444397},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16203540563583374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8149979114532471},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.7812354564666748},{"id":"https://openalex.org/C198104137","wikidata":"https://www.wikidata.org/wiki/Q974688","display_name":"Communication source","level":2,"score":0.680974543094635},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6766676902770996},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6422998905181885},{"id":"https://openalex.org/C103613024","wikidata":"https://www.wikidata.org/wiki/Q230924","display_name":"Stateless protocol","level":3,"score":0.6205302476882935},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5850314497947693},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5810756087303162},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5017285346984863},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47127339243888855},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4656193256378174},{"id":"https://openalex.org/C144097018","wikidata":"https://www.wikidata.org/wiki/Q4329404","display_name":"Service discovery","level":3,"score":0.4594131410121918},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4169192910194397},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4168490469455719},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.3037402927875519},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29620853066444397},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16203540563583374},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/icws.2004.1314753","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icws.2004.1314753","pdf_url":null,"source":{"id":"https://openalex.org/S4363608934","display_name":"Proceedings. IEEE International Conference on Web Services, 2004.","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. IEEE International Conference on Web Services, 2004.","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/fce60bb6-af68-495d-ac96-ae63ebd40ece","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/fce60bb6-af68-495d-ac96-ae63ebd40ece","pdf_url":"https://ris.utwente.nl/ws/files/6139962/P2004-05.pdf","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wombacher, A, Fankhauser, P & Neuhold, E 2004, 'Transforming BPEL into annotated deterministic finite state automata for service discovery', pp. 316-323. https://doi.org/10.1109/ICWS.2004.1314753","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:fraunhofer.de:N-47873","is_oa":false,"landing_page_url":"http://publica.fraunhofer.de/documents/N-47873.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400801","display_name":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer IPSI","raw_type":"Conference Paper"},{"id":"pmh:oai:publica.fraunhofer.de:publica/346765","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/346765","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"},{"id":"pmh:oai:ris.utwente.nl:publications/fce60bb6-af68-495d-ac96-ae63ebd40ece","is_oa":false,"landing_page_url":"http://eprints.eemcs.utwente.nl/secure2/10605/01/P2004-05.pdf","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:ris.utwente.nl:openaire_cris_publications/fce60bb6-af68-495d-ac96-ae63ebd40ece","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/fce60bb6-af68-495d-ac96-ae63ebd40ece","pdf_url":"https://ris.utwente.nl/ws/files/6139962/P2004-05.pdf","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wombacher, A, Fankhauser, P & Neuhold, E 2004, 'Transforming BPEL into annotated deterministic finite state automata for service discovery', pp. 316-323. https://doi.org/10.1109/ICWS.2004.1314753","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4099999964237213,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4252523713.pdf","grobid_xml":"https://content.openalex.org/works/W4252523713.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W159152356","https://openalex.org/W1479764148","https://openalex.org/W1711108295","https://openalex.org/W1854041751","https://openalex.org/W2047475087","https://openalex.org/W2099529102","https://openalex.org/W2117090453","https://openalex.org/W2139490823","https://openalex.org/W2155661783","https://openalex.org/W2156535004","https://openalex.org/W2161938386","https://openalex.org/W2171445933","https://openalex.org/W2176157749","https://openalex.org/W2660616796","https://openalex.org/W4233522539","https://openalex.org/W4302167780","https://openalex.org/W6606457072","https://openalex.org/W6628662066","https://openalex.org/W6683039700","https://openalex.org/W7071003126"],"related_works":["https://openalex.org/W3040374273","https://openalex.org/W2955572513","https://openalex.org/W4360604845","https://openalex.org/W151293476","https://openalex.org/W2027106745","https://openalex.org/W2116712504","https://openalex.org/W2036359834","https://openalex.org/W3130948357","https://openalex.org/W2806284780","https://openalex.org/W2560865713"],"abstract_inverted_index":{"Web":[0],"services":[1,32],"advocate":[2],"loosely":[3,8],"coupled":[4,9],"systems,":[5],"although":[6],"current":[7],"applications":[10],"are":[11,55],"limited":[12],"to":[13,86],"stateless":[14],"services.":[15],"The":[16],"reason":[17],"for":[18,62],"this":[19,71,74],"limitation":[20],"is":[21,92],"the":[22,39,43,76],"lack":[23],"of":[24,29,78],"a":[25,52,79],"method":[26],"supporting":[27],"matchmaking":[28],"state":[30,54,68,90],"dependent":[31],"exemplarily":[33],"specified":[34],"in":[35,84],"BPEL.":[36],"In":[37,73],"particular,":[38],"sender's":[40],"requirement":[41],"that":[42],"receiver":[44],"must":[45],"support":[46],"all":[47],"possible":[48],"messages":[49],"sent":[50],"at":[51],"certain":[53],"not":[56],"captured":[57],"by":[58],"models":[59],"currently":[60],"used":[61],"service":[63],"discovery.":[64],"Annotated":[65],"deterministic":[66,88],"finite":[67,89],"automata":[69,91],"provide":[70],"expressiveness.":[72],"paper":[75],"transformation":[77],"local":[80],"process":[81],"specification":[82],"given":[83],"BPEL":[85],"annotated":[87],"presented.":[93]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}