Framework for business process verification
Autor(en): | Speck, A. Witt, S. Feja, S. Lotyzc, A. Pulvermüller, E. |
Stichwörter: | Business modeling; Business models; Business Process; Business process model; Business process models and rules; Commercial information systems; Extended model; extended model checking; Graphical representations; graphical rule notation (Graphical-CTL); Hierarchical architectures; Industrial environments; Information systems, Business applications; model and rule transformation; Modeling tool; Three-tier architecture; Verification systems, Model checking | Erscheinungsdatum: | 2011 | Herausgeber: | Springer Verlag | Journal: | Lecture Notes in Business Information Processing | Volumen: | 87 LNBIP | Startseite: | 50 | Seitenende: | 61 | Zusammenfassung: | 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. |
ISBN: | 9783642218293 | ISSN: | 18651348 | DOI: | 10.1007/978-3-642-21863-7_5 | Externe 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 |
Zur Langanzeige
Seitenaufrufe
3
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 21.05.2024