Towards semantic document modelling of business processes

DOI10.26516/1997-7670.2019.29.52zbMATH Open1425.68446OpenAlexW2974680297MaRDI QIDQ2280348FDOQ2280348

Authors: A. V. Mantsivoda, Denis Konstantinovich Ponomarëv 

Publication date: 18 December 2019

Published in: The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

Full work available at URL: http://mathizv.isu.ru/en/article/file?id=1309

Recommendations

• Lectures on Concurrency and Petri Nets
• Document models
• On termination of transactions over semantic document models
• scientific article; zbMATH DE number 2088746
• Formal verification of complex business processes based on high-level Petri nets

zbMATH Keywords

Librettobusiness processdocument modelsemantic modelling

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• The Description Logic Handbook
• Title not available (Why is that?)
• Title not available (Why is that?)
• Document models
• Σ-programming
• Locally simple models construction: methodology and practice

Cited In (5)

• Document models
• Title not available (Why is that?)
• On the local coordination of fuzzy valuations
• Locally simple models construction: methodology and practice
• On termination of transactions over semantic document models

This page was built for publication: Towards semantic document modelling of business processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280348)