BPMN - a logical model and property analysis
| creativeworkseries.issn | 1896-8325 | |
| dc.contributor.author | Ligęza, Antoni | |
| dc.date.available | 2017-07-12T11:48:26Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN. | en |
| dc.description.version | wersja wydawnicza | |
| dc.identifier.doi | https://doi.org/10.7494/dmms.2011.5.1.57 | |
| dc.identifier.eissn | 2300-7087 | |
| dc.identifier.issn | 1896-8325 | |
| dc.identifier.nukat | dd2012312067 | |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/44448 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | Decision Making in Manufacturing and Services | |
| dc.rights | Attribution-NonCommercial 4.0 International | |
| dc.rights.access | otwarty dostęp | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/legalcode | |
| dc.subject | business process modeling notation | en |
| dc.subject | BPMN | en |
| dc.subject | business rules | en |
| dc.subject | rule-based systems | en |
| dc.subject | extended tabular trees | en |
| dc.subject | xtt | en |
| dc.subject | xtt2 | en |
| dc.subject | system verification | en |
| dc.subject | formal analysis | en |
| dc.subject | declarative model | en |
| dc.title | BPMN - a logical model and property analysis | en |
| dc.title.related | Decision Making in Manufacturing and Services | |
| dc.type | artykuł | |
| dspace.entity.type | Publication | |
| publicationissue.issueNumber | No. 1/2 | |
| publicationissue.pagination | pp. 57-67 | |
| publicationvolume.volumeNumber | Vol. 5 | |
| relation.isAuthorOfPublication | 22ab3487-e1a2-4ab7-845c-a7c5235fbda3 | |
| relation.isAuthorOfPublication.latestForDiscovery | 22ab3487-e1a2-4ab7-845c-a7c5235fbda3 | |
| relation.isJournalIssueOfPublication | f0aae7a7-531b-48f6-a957-2d4897a185a6 | |
| relation.isJournalIssueOfPublication.latestForDiscovery | f0aae7a7-531b-48f6-a957-2d4897a185a6 | |
| relation.isJournalOfPublication | 1a0d5e63-ca5d-4f88-98aa-28b13ec72c08 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- dmms.2011.5.1-2.57.pdf
- Size:
- 155.27 KB
- Format:
- Adobe Portable Document Format