{"id":"https://openalex.org/W173095387","doi":null,"title":"Formal frameworks for workflow modelling","display_name":"Formal frameworks for workflow modelling","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W173095387","mag":"173095387"},"language":"en","primary_location":{"id":"mag:173095387","doi":null,"is_oa":false,"landing_page_url":"http://www.armin-haller.com/publications/DERI-TR-2005-04-07.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Eyal Oren","orcid":"https://orcid.org/0000-0001-7817-3516","observed_orcids":["https://orcid.org/0000-0001-7817-3516"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eyal Oren","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7817-3516","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5072221152","display_name":"Armin Haller A","orcid":"https://orcid.org/0000-0003-3425-0780","observed_orcids":["https://orcid.org/0000-0003-3425-0780"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Armin Haller","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3425-0780","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5153,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.77104723,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9990000128746033,"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.9990000128746033,"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.0006000000284984708,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":9.999999747378752e-05,"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/workflow-modeling","display_name":"workflow modeling","score":0.9940000176429749},{"id":"https://openalex.org/keywords/workflow-management-systems","display_name":"workflow management systems","score":0.8379999995231628},{"id":"https://openalex.org/keywords/formal-framework","display_name":"formal framework","score":0.6309999823570251},{"id":"https://openalex.org/keywords/petri-nets","display_name":"Petri nets","score":0.9959999918937683},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"temporal logic","score":0.9779999852180481},{"id":"https://openalex.org/keywords/transaction-logic","display_name":"transaction logic","score":0.9919999837875366},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.3529999852180481},{"id":"https://openalex.org/keywords/workflow-evaluation","display_name":"workflow evaluation","score":0.6620000004768372}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.8579038381576538},{"id":"https://openalex.org/C140824633","wikidata":"https://www.wikidata.org/wiki/Q2808660","display_name":"Workflow management system","level":3,"score":0.779239296913147},{"id":"https://openalex.org/C19612761","wikidata":"https://www.wikidata.org/wiki/Q8034836","display_name":"Workflow technology","level":3,"score":0.757495641708374},{"id":"https://openalex.org/C130536060","wikidata":"https://www.wikidata.org/wiki/Q592375","display_name":"XPDL","level":4,"score":0.7348343133926392},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7340344190597534},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7075533270835876},{"id":"https://openalex.org/C188220564","wikidata":"https://www.wikidata.org/wiki/Q3325097","display_name":"Workflow engine","level":3,"score":0.6147037148475647},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5590544939041138},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5195387005805969},{"id":"https://openalex.org/C163888707","wikidata":"https://www.wikidata.org/wiki/Q1154450","display_name":"Windows Workflow Foundation","level":4,"score":0.4874041676521301},{"id":"https://openalex.org/C186533612","wikidata":"https://www.wikidata.org/wiki/Q471004","display_name":"Workflow Management Coalition","level":5,"score":0.4491465389728546},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.33979231119155884},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30755844712257385},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:173095387","doi":null,"is_oa":false,"landing_page_url":"http://www.armin-haller.com/publications/DERI-TR-2005-04-07.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W39280257","https://openalex.org/W83447915","https://openalex.org/W1483048837","https://openalex.org/W1490331809","https://openalex.org/W1491743220","https://openalex.org/W1528303182","https://openalex.org/W1534850333","https://openalex.org/W1549387132","https://openalex.org/W1557206058","https://openalex.org/W1557658075","https://openalex.org/W1561267729","https://openalex.org/W1567785211","https://openalex.org/W1574901384","https://openalex.org/W1592963990","https://openalex.org/W1595655245","https://openalex.org/W1991353419","https://openalex.org/W1996109622","https://openalex.org/W2015234709","https://openalex.org/W2020675906","https://openalex.org/W2023808162","https://openalex.org/W2065353132","https://openalex.org/W2069450150","https://openalex.org/W2072445657","https://openalex.org/W2081413227","https://openalex.org/W2087122799","https://openalex.org/W2097685196","https://openalex.org/W2101206446","https://openalex.org/W2101583620","https://openalex.org/W2129466958","https://openalex.org/W2159930955","https://openalex.org/W2160493209","https://openalex.org/W2163646799","https://openalex.org/W2164015376","https://openalex.org/W2174637891","https://openalex.org/W2177687083","https://openalex.org/W2498434591","https://openalex.org/W2911625174","https://openalex.org/W2983311057"],"related_works":["https://openalex.org/W48811699","https://openalex.org/W3127057319","https://openalex.org/W2121256792","https://openalex.org/W7030086010","https://openalex.org/W1528303182","https://openalex.org/W2505129213","https://openalex.org/W207642035","https://openalex.org/W2385272208","https://openalex.org/W598104544","https://openalex.org/W7096989807"],"abstract_inverted_index":{"We":[0,7,22,39],"survey":[1],"formal":[2],"frameworks":[3],"for":[4,28,47],"workflow":[5,12,19,29,48],"modelling.":[6],"summarise":[8],"important":[9],"aspects":[10],"of":[11,26],"management":[13,20],"and":[14,36,52],"approaches":[15],"to":[16],"evaluate":[17],"current":[18],"systems.":[21],"discuss":[23],"a":[24],"number":[25],"formalisms":[27,43],"modelling,":[30,49],"namely":[31],"Petri":[32],"nets,":[33],"Temporal":[34],"Logic,":[35],"Transaction":[37],"Logic.":[38],"decribe":[40],"how":[41],"these":[42],"are":[44],"used":[45],"specifically":[46],"their":[50,53],"possibilities":[51],"disadvantages.":[54]},"counts_by_year":[{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}