{"id":"https://openalex.org/W2095544716","doi":"https://doi.org/10.1109/services.2007.24","title":"Composing Web-service-like Abstract State Machines (ASMs)","display_name":"Composing Web-service-like Abstract State Machines (ASMs)","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2095544716","doi":"https://doi.org/10.1109/services.2007.24","mag":"2095544716"},"language":"en","primary_location":{"id":"doi:10.1109/services.2007.24","doi":"https://doi.org/10.1109/services.2007.24","is_oa":false,"landing_page_url":"https://doi.org/10.1109/services.2007.24","pdf_url":null,"source":{"id":"https://openalex.org/S7407089023","display_name":"IEEE World Congress on Services (SERVICES)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE Congress on Services (Services 2007)","raw_type":"proceedings-article"},"volume":null,"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/A5027260144","display_name":"Jens Lemcke","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jens Lemcke","raw_affiliation_strings":["SAP Research CEC Karlsruhe, SAP AG, Karlsruhe, Germany","SAP AG, Karlsruhe"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SAP Research CEC Karlsruhe, SAP AG, Karlsruhe, Germany","institution_ids":[]},{"raw_affiliation_string":"SAP AG, Karlsruhe","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028791199","display_name":"Andreas Friesen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Friesen","raw_affiliation_strings":["SAP Research CEC Karlsruhe, SAP AG, Karlsruhe, Germany","SAP AG, Karlsruhe"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SAP Research CEC Karlsruhe, SAP AG, Karlsruhe, Germany","institution_ids":[]},{"raw_affiliation_string":"SAP AG, Karlsruhe","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.0092,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.94288434,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"3387","issue":null,"first_page":"262","last_page":"269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9911999702453613,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9911999702453613,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.003700000001117587,"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/T10142","display_name":"Formal Methods in Verification","score":0.0010000000474974513,"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/abstract-state-machines","display_name":"abstract state machines","score":0.9879999756813049},{"id":"https://openalex.org/keywords/business-process-composition","display_name":"business process composition","score":0.8360000252723694},{"id":"https://openalex.org/keywords/collaborative-business-processes","display_name":"collaborative business processes","score":0.8939999938011169},{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.7609999775886536},{"id":"https://openalex.org/keywords/process-orchestration","display_name":"process orchestration","score":0.7490000128746033},{"id":"https://openalex.org/keywords/recovery-goals","display_name":"recovery goals","score":0.8930000066757202},{"id":"https://openalex.org/keywords/state-space-explosion","display_name":"state space explosion","score":0.6909999847412109},{"id":"https://openalex.org/keywords/business-process-execution","display_name":"business process execution","score":0.43700000643730164}],"concepts":[{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.8108007907867432},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7909420728683472},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.725654125213623},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.682237446308136},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.664414644241333},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.6561788320541382},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.5816969275474548},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5810911655426025},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5591826438903809},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.4976218044757843},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.48062771558761597},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.4648982584476471},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4376167058944702},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43640998005867004},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.4283405840396881},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4279574155807495},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.3195343017578125},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2230549156665802},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.16572192311286926},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.1303839385509491},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/services.2007.24","doi":"https://doi.org/10.1109/services.2007.24","is_oa":false,"landing_page_url":"https://doi.org/10.1109/services.2007.24","pdf_url":null,"source":{"id":"https://openalex.org/S7407089023","display_name":"IEEE World Congress on Services (SERVICES)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE Congress on Services (Services 2007)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.175.8406","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.175.8406","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://drops.dagstuhl.de/opus/volltexte/2007/1034/pdf/07061.FriesenAndreas.Paper.1034.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W68830518","https://openalex.org/W232309651","https://openalex.org/W1539438108","https://openalex.org/W1560870874","https://openalex.org/W1659289657","https://openalex.org/W1853368733","https://openalex.org/W4230958226"],"related_works":["https://openalex.org/W2105008455","https://openalex.org/W2795304471","https://openalex.org/W7099465973","https://openalex.org/W1480860561","https://openalex.org/W54184781","https://openalex.org/W1501566001","https://openalex.org/W2074364607","https://openalex.org/W2128172541","https://openalex.org/W42231441","https://openalex.org/W4380568945"],"abstract_inverted_index":{"We":[0,67],"ease":[1],"the":[2,13,39,45,73,122,132,161,167,196,215,218,225,229,232],"design":[3],"of":[4,22,47,75,85,105,113,121,124,160,198,231],"collaborative":[5,78,142],"business":[6,10,25,49,57,79,94,107,143,163,199,233],"processes":[7,26,58,108,164,200,234],"respecting":[8,82],"desired":[9],"goals":[11],"by":[12,203],"composition":[14,21,70,128,155],"algorithm":[15,71,129,156],"presented":[16],"in":[17,34,38,62,109,166,217],"this":[18],"paper.":[19],"The":[20,103],"multiple":[23,133],"parties'":[24],"is":[27,96],"always":[28],"done":[29],"with":[30],"a":[31,48,69,77,83,99,141,150],"specific":[32],"objective":[33,46],"mind.":[35],"Not":[36],"only":[37,165,177],"positive":[40],"case,":[41],"but":[42],"also":[43],"if":[44],"process":[50,80,95,144],"can":[51,171],"not":[52],"be":[53,61,172],"fulfilled,":[54],"all":[55,106,147],"participating":[56],"need":[59],"to":[60,118,179,188],"some":[63],"expected":[64,181],"recovery":[65,88,184],"state.":[66],"propose":[68],"solving":[72],"task":[74],"designing":[76],"while":[81],"set":[84],"primary":[86,182],"and":[87,139,201],"goals.":[89],"In":[90,186],"our":[91,127,190],"model,":[92],"each":[93,175],"described":[97],"as":[98,235],"finite":[100,134],"state":[101,135,206],"machine.":[102],"multiplication":[104],"one":[110],"single":[111,151],"model":[112],"possible":[114],"executions":[115],"would":[116],"lead":[117],"an":[119,158,180],"explosion":[120],"number":[123],"states.":[125],"Therefore,":[126],"directly":[130],"interprets":[131],"machine":[136,207],"(FSM)":[137],"representations":[138,209],"creates":[140],"without":[145],"integrating":[146],"FSMs":[148],"into":[149],"FSM":[152],"upfront.":[153],"Our":[154],"returns":[157],"orchestration":[159,227],"given":[162],"case":[168],"that":[169,174,224],"it":[170],"assured":[173],"execution":[176,197,219,230],"leads":[178],"or":[183],"goal.":[185],"order":[187],"prove":[189],"concepts,":[191],"we":[192,213],"first":[193],"mathematically":[194],"define":[195],"orchestrations":[202],"providing":[204],"abstract":[205],"(ASM)":[208],"for":[210],"them.":[211],"Second,":[212],"execute":[214],"ASMs":[216],"engine":[220],"CoreASM":[221],"which":[222],"shows":[223],"generated":[226],"steers":[228],"intended.":[236]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2016-06-24T00:00:00"}