Framework for business process verification
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Speck, A. | |
dc.contributor.author | Witt, S. | |
dc.contributor.author | Feja, S. | |
dc.contributor.author | Lotyzc, A. | |
dc.contributor.author | Pulvermüller, E. | |
dc.date.accessioned | 2021-12-23T16:31:28Z | - |
dc.date.available | 2021-12-23T16:31:28Z | - |
dc.date.issued | 2011 | |
dc.identifier.isbn | 9783642218293 | |
dc.identifier.issn | 18651348 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/17096 | - |
dc.description.abstract | There are numerous concepts and tools for modeling business processes and several academic approaches to verify business processes. However, most modeling tools don't integrate the checking of the processes. The three-tier architecture of the Business Application Modeler (BAM) provides the graphical representation of business models and rules (presentation layer) as well as integrates a verification mechanism layer with an intermediate transformation layer. The hierarchical architecture allows to extend the checking system with additional features supporting the use of the verifier in an industrial environment of commercial information system development. Examples for such add-ons are the improved graphical rule notation and an enhanced functionality of the verification system supporting the expressiveness in the business modeling domain. © 2011 Springer-Verlag. | |
dc.language.iso | en | |
dc.publisher | Springer Verlag | |
dc.relation.ispartof | Lecture Notes in Business Information Processing | |
dc.subject | Business modeling | |
dc.subject | Business models | |
dc.subject | Business Process | |
dc.subject | Business process model | |
dc.subject | Business process models and rules | |
dc.subject | Commercial information systems | |
dc.subject | Extended model | |
dc.subject | extended model checking | |
dc.subject | Graphical representations | |
dc.subject | graphical rule notation (Graphical-CTL) | |
dc.subject | Hierarchical architectures | |
dc.subject | Industrial environments | |
dc.subject | Information systems, Business applications | |
dc.subject | model and rule transformation | |
dc.subject | Modeling tool | |
dc.subject | Three-tier architecture | |
dc.subject | Verification systems, Model checking | |
dc.title | Framework for business process verification | |
dc.type | conference paper | |
dc.identifier.doi | 10.1007/978-3-642-21863-7_5 | |
dc.identifier.scopus | 2-s2.0-79960235153 | |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-79960235153&doi=10.1007%2f978-3-642-21863-7_5&partnerID=40&md5=85ae74a6afb7f5d0849c96b90b4408d5 | |
dc.description.volume | 87 LNBIP | |
dc.description.startpage | 50 | |
dc.description.endpage | 61 | |
dcterms.isPartOf.abbreviation | Lect. Notes Bus. Inf. Process. | |
crisitem.author.dept | Institut für Informatik | - |
crisitem.author.deptid | institute12 | - |
crisitem.author.parentorg | FB 06 - Mathematik/Informatik/Physik | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | PuEl525 | - |
Seitenaufrufe
3
Letzte Woche
0
0
Letzter Monat
2
2
geprüft am 03.06.2024