Business Process Management [[electronic resource] ] : Models, Techniques, and Empirical Studies / / edited by Wil, van der Aalst, Jörg Desel, Andreas Oberweis |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (VIII, 396 p.) |
Disciplina | 658.40352 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Information technology Business—Data processing Database management Application software User interfaces (Computer systems) Software Engineering IT in Business Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-45594-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Design of Business Processes -- Techniques for Modelling Workflows and their Support of Reuse -- Modeling Processes and Workflows by Business Rules -- Guidelines of Business Process Modeling -- A Knowledge-Based Approach for Designing Robust Business Processes -- The “Organized Activity” Foundation for Business Processes and Their Management -- Evaluation of Generic Process Design Patterns: An Experimental Study -- Management-Oriented Models of Business Processes -- Formalisms and Analysis -- Validation of Process Models by Construction of Process Nets -- Modeling, Simulation and Analysis of Business Processes -- Using Formal Analysis Techniques in Business Process Redesign -- Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques -- Compositional modeling and verification of workflow processes -- A Workflow Change is a Workflow -- Improving Flexibility of workflow Management Systems -- Inter-operability of Workflow Applications: Local Criteria for Global Soundness -- Object Oriented Petri Nets in Business Process Modeling -- Systems and Applications -- Information Gathering and Process Modeling in a Petri Net Based Approach -- Why Modellers Wreck Workflow Innovations -- The Effects of Workflow Systems on Organizations: A Qualitative Study -- On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study -- Configurable Business Objects for Building Evolving Enterprise Models and Applications -- Workflow Management between Formal Theory and Pragmatic Approaches -- Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures -- ARIS Architecture and Reference Models for Business Process Management. |
Record Nr. | UNISA-996465853703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management : Models, Techniques, and Empirical Studies / / edited by Wil, van der Aalst, Jörg Desel, Andreas Oberweis |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (VIII, 396 p.) |
Disciplina | 658.40352 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Information technology Business—Data processing Database management Application software User interfaces (Computer systems) Software Engineering IT in Business Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-45594-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Design of Business Processes -- Techniques for Modelling Workflows and their Support of Reuse -- Modeling Processes and Workflows by Business Rules -- Guidelines of Business Process Modeling -- A Knowledge-Based Approach for Designing Robust Business Processes -- The “Organized Activity” Foundation for Business Processes and Their Management -- Evaluation of Generic Process Design Patterns: An Experimental Study -- Management-Oriented Models of Business Processes -- Formalisms and Analysis -- Validation of Process Models by Construction of Process Nets -- Modeling, Simulation and Analysis of Business Processes -- Using Formal Analysis Techniques in Business Process Redesign -- Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques -- Compositional modeling and verification of workflow processes -- A Workflow Change is a Workflow -- Improving Flexibility of workflow Management Systems -- Inter-operability of Workflow Applications: Local Criteria for Global Soundness -- Object Oriented Petri Nets in Business Process Modeling -- Systems and Applications -- Information Gathering and Process Modeling in a Petri Net Based Approach -- Why Modellers Wreck Workflow Innovations -- The Effects of Workflow Systems on Organizations: A Qualitative Study -- On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study -- Configurable Business Objects for Building Evolving Enterprise Models and Applications -- Workflow Management between Formal Theory and Pragmatic Approaches -- Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures -- ARIS Architecture and Reference Models for Business Process Management. |
Record Nr. | UNINA-9910143633003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|