Show simple item record

dc.contributor.author Bersani M.
dc.contributor.author Distefano S.
dc.contributor.author Ferrucci L.
dc.contributor.author Mazzara M.
dc.date.accessioned 2018-09-18T20:27:36Z
dc.date.available 2018-09-18T20:27:36Z
dc.date.issued 2015
dc.identifier.issn 1865-0929
dc.identifier.uri https://dspace.kpfu.ru/xmlui/handle/net/140107
dc.description.abstract © Springer International Publishing Switzerland 2015. We formalize timed workflow with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking are methodologies to iteratively revise the design correct-by construction system. We define a formal semantics by compiling generic workflow patterns into an extension of LTL with dense time clocks (CLTLoc). CLTLoc allows us to define the first logical formalization of workflows that can be practically employed in verification tools and to avoid the use of well-known automata based formalisms dealing with real-time. We use an ad-hoc bound model checker to prove requirements validity on a business process. The working assumption is that lightweight approaches easily fit into processes that are already in place so that radical change of procedures, tools and people’s attitudes are not needed. The complexity of formalisms and invasiveness of methods have been demonstrated to be one of the major drawback and obstacle for deployment of formal engineering techniques into mundane projects.
dc.relation.ispartofseries Communications in Computer and Information Science
dc.subject Formal methods
dc.subject Recovery framework
dc.subject Semantics
dc.subject Temporal logic
dc.subject Workflow
dc.title A timed semantics of workflows
dc.type Conference Paper
dc.relation.ispartofseries-volume 555
dc.collection Публикации сотрудников КФУ
dc.relation.startpage 365
dc.source.id SCOPUS18650929-2015-555-SID84951132701


Files in this item

This item appears in the following Collection(s)

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics