{"id":"https://openalex.org/W2404277495","doi":"https://doi.org/10.3233/978-1-61499-161-8-135","title":"Formal Analysis of Problem Domain Workflows","display_name":"Formal Analysis of Problem Domain Workflows","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2404277495","doi":"https://doi.org/10.3233/978-1-61499-161-8-135","mag":"2404277495"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-161-8-135","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-161-8-135","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","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/A5116358999","display_name":"Donins Uldis","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Donins Uldis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5116358999"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.2584964,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"148"},"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.9977999925613403,"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.9977999925613403,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.967199981212616,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6234458088874817},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6174849271774292},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5877363085746765},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12674832344055176},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08676812052726746}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6234458088874817},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6174849271774292},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5877363085746765},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12674832344055176},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08676812052726746},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-161-8-135","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-161-8-135","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:2404277495","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/db/conf/balt/dbis2012.html#Donins12","pdf_url":null,"source":{"id":"https://openalex.org/S4306507590","display_name":"DB&IS","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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"DB&IS","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1981780420","https://openalex.org/W2182707996","https://openalex.org/W45233828","https://openalex.org/W2964988449","https://openalex.org/W2397952901","https://openalex.org/W2029380707","https://openalex.org/W188202134"],"abstract_inverted_index":{"The":[0,67,103,155],"formal":[1,149],"foundation":[2],"of":[3,18,46,50,64,88,105,120,151,166],"Topological":[4],"Functioning":[5],"Model":[6],"(TFM)":[7],"makes":[8],"it":[9,127],"as":[10],"a":[11,19,62,91],"powerful":[12],"tool":[13],"to":[14,23,78,96,130,141,147],"analyze":[15,80,134],"the":[16,30,44,75,86,97,100,118,121,144],"functioning":[17,41,119],"problem":[20,26,81,122,152,156],"domain":[21,27,82,153,157],"and":[22,53,58,115,123,132],"formally":[24,79],"relate":[25],"artifacts":[28,31],"with":[29,71],"that":[32],"should":[33],"exist":[34],"in":[35,43,61,139],"solution":[36,124],"domain.":[37],"TFM":[38,98,109,138],"captures":[39],"system":[40,89],"specification":[42],"form":[45,63],"topological":[47,72],"space":[48],"consisting":[49],"functional":[51,68],"features":[52,69],"cause-and-effect":[54],"relations":[55,107,136],"among":[56],"them":[57],"is":[59,94,128,162],"represented":[60,163],"directed":[65],"graph.":[66],"together":[70],"relationships":[73],"contain":[74],"necessary":[76,145],"information":[77,146],"workflows.":[83,154],"To":[84],"specify":[85],"behavior":[87],"execution":[90],"new":[92],"element":[93],"added":[95],"\u2013":[99],"logical":[101,106,135],"relations.":[102],"presence":[104],"within":[108,137,159],"denotes":[110],"forking,":[111],"joining,":[112],"decision":[113],"making,":[114],"merging":[116],"during":[117],"domains.":[125],"Thus":[126],"needed":[129],"identify":[131],"carefully":[133],"order":[140],"have":[142],"all":[143],"perform":[148],"analysis":[150],"workflows":[158],"this":[160],"paper":[161],"by":[164],"means":[165],"Activity":[167],"diagrams.":[168]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}