{"id":"https://openalex.org/W116614365","doi":"https://doi.org/10.3217/jucs-010-11-1519","title":"Automated Support for Enterprise Information Systems","display_name":"Automated Support for Enterprise Information Systems","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W116614365","doi":"https://doi.org/10.3217/jucs-010-11-1519","mag":"116614365"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6996655","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996655","pdf_url":"https://zenodo.org/record/6996655","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 10((11)) 1519-1539","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996655","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079866956","display_name":"John Andrew van der Poll","orcid":"https://orcid.org/0000-0001-6557-7749"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"John Andrew Andrew van der Poll","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070505183","display_name":"Paula Kotz\u00e9","orcid":"https://orcid.org/0000-0003-1610-2776"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paula Kotz\u00e9","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113451727","display_name":"Willem Labuschagne","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Willem Adrian Labuschagne","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079866956"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00045197,"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":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.9122999906539917,"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.9122999906539917,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9025952219963074},{"id":"https://openalex.org/keywords/information-system","display_name":"Information system","score":0.4321925640106201},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.4038960933685303},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3665866553783417},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3466428220272064},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34410974383354187}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9025952219963074},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.4321925640106201},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.4038960933685303},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3665866553783417},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3466428220272064},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34410974383354187},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6996655","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996655","pdf_url":"https://zenodo.org/record/6996655","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 10((11)) 1519-1539","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-010-11-1519","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-010-11-1519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6996655","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996655","pdf_url":"https://zenodo.org/record/6996655","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 10((11)) 1519-1539","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W116614365.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2047703055","https://openalex.org/W1562082569","https://openalex.org/W329574513","https://openalex.org/W2990988566","https://openalex.org/W177098030","https://openalex.org/W128853362","https://openalex.org/W2587643417","https://openalex.org/W2359179396","https://openalex.org/W2211140206","https://openalex.org/W3048167472","https://openalex.org/W3214145034","https://openalex.org/W2372117989","https://openalex.org/W165330131","https://openalex.org/W2099553726","https://openalex.org/W254819140","https://openalex.org/W3193318996","https://openalex.org/W2164670562","https://openalex.org/W2040658023","https://openalex.org/W1881136723","https://openalex.org/W1601726432"],"abstract_inverted_index":{"A":[0],"condensed":[1],"specification":[2],"of":[3,27,48,55,97],"a":[4,25,45,87,95],"multi-level":[5],"marketing":[6],"(MLM)":[7],"enterprise":[8,89],"which":[9],"can":[10],"be":[11,92],"modelled":[12],"by":[13],"mathematical":[14],"forests":[15],"and":[16,44],"trees":[17],"is":[18,39,67],"presented":[19],"in":[20,64],"Z.":[21],"We":[22],"thereafter":[23],"identify":[24],"number":[26],"proof":[28,73,84],"obligations":[29,85],"that":[30],"result":[31],"from":[32,86],"operations":[33],"on":[34,41],"the":[35,53,71,76],"state":[36],"space.":[37],"Z":[38],"based":[40],"first-order":[42],"logic":[43],"strongly-typed":[46],"fragment":[47],"Zermelo-Fraenkel":[49],"set":[50,65],"theory,":[51],"hence":[52],"feasibility":[54],"using":[56,94],"certain":[57],"reasoning":[58],"heuristics":[59],"developed":[60],"for":[61,69],"proving":[62],"theorems":[63],"theory":[66],"investigated":[68],"discharging":[70],"identified":[72],"obligations.":[74],"Using":[75],"automated":[77],"reasoner":[78],"OTTER,":[79],"we":[80],"illustrate":[81],"how":[82],"these":[83],"real-life":[88],"may":[90],"successfully":[91],"discharged":[93],"suite":[96],"well-chosen":[98],"heuristics.":[99]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}