Business Information Systems [[electronic resource] ] : 14th International Conference, BIS 2011, Poznań, Poland, June 15-17, 2011, Proceedings / / edited by Witold Abramowicz |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIII, 301 p.) |
Disciplina |
650
658.05 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Business information services
Application software Information storage and retrieval systems Production management Information technology - Management IT in Business Computer and Information Systems Applications Information Storage and Retrieval Operations Management Computer Application in Administrative Data Processing |
ISBN | 3-642-21863-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910832978203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [[electronic resource] ] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings / / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVI, 486 p.) |
Disciplina | 658/.05 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Production management
Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
ISBN | 3-540-38903-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Enterprise Business Process Management – Architecture, Technology and Standards -- BizTalk Server, Windows Workflow Foundation, and BPM -- Monitoring and Mining -- Analyzing Interacting BPEL Processes -- Tracking over Collaborative Business Processes -- Beyond Workflow Mining -- Service Composition -- Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation -- Automated Service Composition Using Heuristic Search -- Structured Service Composition -- Isolating Process-Level Concerns Using Padus -- Process Models and Languages -- Process Equivalence: Comparing Two Process Models Based on Observed Behavior -- Investigations on Soundness Regarding Lazy Activities -- On the Suitability of BPMN for Business Process Modelling -- Workflow Model Compositions Preserving Relaxed Soundness -- Dynamic Process Management -- Semantic Correctness in Adaptive Process Management Systems -- A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems -- History-Based Joins: Semantics, Soundness and Implementation -- On Representing, Purging, and Utilizing Change Logs in Process Management Systems -- Service Composition -- Retracted: Towards Formal Verification of Web Service Composition -- E-Service/Process Composition Through Multi-agent Constraint Management -- Web Service E-Contract Establishment Using Features -- Applied BPM -- A Redesign Framework for Call Centers -- Building Business Process Driven Web Applications -- Industrial Papers -- A Proposal for an Open Solution Business Process Integration and Management Implementation Framework -- Experiences in Enhancing Existing BPM Tools with BPEL Import and Export -- Introducing Case Management: Opening Workflow Management’s Black Box -- IT Support for Release Management Processes in the Automotive Industry -- Diagnosing SCA Components Using Wombat -- Short Papers -- Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis -- Towards a Methodology for Deriving Contract-Compliant Business Processes -- An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior -- Optimizing Exception Handling in Workflows Using Process Restructuring -- Formalizing Service Interactions -- Decision Mining in ProM -- Managing Process Variants as an Information Resource -- Verification of Business Process Integration Options -- Verifying BPEL Workflows Under Authorisation Constraints -- Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems -- Faulty EPCs in the SAP Reference Model -- A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes -- Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services -- Parameterized BPEL Processes: Concepts and Implementation -- Behavioral Technique for Workflow Abstraction and Matching -- Erratum -- Towards Formal Verification of Web Service Composition. |
Record Nr. | UNISA-996466123903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management [[electronic resource] ] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings / / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVI, 486 p.) |
Disciplina | 658/.05 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Production management
Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
ISBN | 3-540-38903-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Enterprise Business Process Management – Architecture, Technology and Standards -- BizTalk Server, Windows Workflow Foundation, and BPM -- Monitoring and Mining -- Analyzing Interacting BPEL Processes -- Tracking over Collaborative Business Processes -- Beyond Workflow Mining -- Service Composition -- Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation -- Automated Service Composition Using Heuristic Search -- Structured Service Composition -- Isolating Process-Level Concerns Using Padus -- Process Models and Languages -- Process Equivalence: Comparing Two Process Models Based on Observed Behavior -- Investigations on Soundness Regarding Lazy Activities -- On the Suitability of BPMN for Business Process Modelling -- Workflow Model Compositions Preserving Relaxed Soundness -- Dynamic Process Management -- Semantic Correctness in Adaptive Process Management Systems -- A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems -- History-Based Joins: Semantics, Soundness and Implementation -- On Representing, Purging, and Utilizing Change Logs in Process Management Systems -- Service Composition -- Retracted: Towards Formal Verification of Web Service Composition -- E-Service/Process Composition Through Multi-agent Constraint Management -- Web Service E-Contract Establishment Using Features -- Applied BPM -- A Redesign Framework for Call Centers -- Building Business Process Driven Web Applications -- Industrial Papers -- A Proposal for an Open Solution Business Process Integration and Management Implementation Framework -- Experiences in Enhancing Existing BPM Tools with BPEL Import and Export -- Introducing Case Management: Opening Workflow Management’s Black Box -- IT Support for Release Management Processes in the Automotive Industry -- Diagnosing SCA Components Using Wombat -- Short Papers -- Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis -- Towards a Methodology for Deriving Contract-Compliant Business Processes -- An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior -- Optimizing Exception Handling in Workflows Using Process Restructuring -- Formalizing Service Interactions -- Decision Mining in ProM -- Managing Process Variants as an Information Resource -- Verification of Business Process Integration Options -- Verifying BPEL Workflows Under Authorisation Constraints -- Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems -- Faulty EPCs in the SAP Reference Model -- A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes -- Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services -- Parameterized BPEL Processes: Concepts and Implementation -- Behavioral Technique for Workflow Abstraction and Matching -- Erratum -- Towards Formal Verification of Web Service Composition. |
Record Nr. | UNINA-9910484757603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [[electronic resource] ] : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 658.054 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Production management
Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
ISBN | 3-540-25970-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design. |
Record Nr. | UNINA-9910144152003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [[electronic resource] ] : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 658.054 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Production management
Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
ISBN | 3-540-25970-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design. |
Record Nr. | UNISA-996465432303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management within Chemical and Pharmaceutical Industries [[electronic resource] ] : Markets, BPM Methodology and Process Examples / / by Guido Grüne, Stephanie Lockemann, Volker Kluy, Stefan Meinhardt |
Autore | Grüne Guido |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (183 p.) |
Disciplina |
330
338.4766068 650 658.1 |
Soggetto topico |
Organization
Planning Information technology Business—Data processing Production management IT in Business Operations Management |
ISBN | 3-642-11717-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 The Process Industry -- 2 Business Process Management -- 3 Mapping Business Processes in the Process Industry - Selected Examples -- Summary. . |
Record Nr. | UNINA-9910298549703321 |
Grüne Guido | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management Workshops [[electronic resource] ] : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers / / edited by Niels Lohmann, Minseok Song, Petia Wohed |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XLI, 564 p. 205 illus.) |
Disciplina | 004 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology Business—Data processing Production management Computer Appl. in Administrative Data Processing IT in Business Information Systems Applications (incl. Internet) Operations Management |
ISBN | 3-319-06257-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Discovering and Navigating a Collection of Process Models using Multiple Quality Dimensions -- Discovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs -- Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models -- Uncovering the Relationship between Event Log Characteristics and Process Discovery Techniques -- Process remaining time prediction using query catalogs -- Discovering Block-Structured Process Models From Event Logs Containing Infrequent Behaviour -- Business Process Intelligence Challenge 2013 -- Enabling Workflow Composition within a Social Network Environment -- Towards A Meta-Model for Goal-Based Social BPM -- An experiment on the capture of business processes from knowledge workers -- ISEAsy: a social business process management platform -- Towards a Reference Implementation for Data Centric Dynamic Systems -- Synthesizing Object-Centric Models from Business Process Models -- Activity-centric and Artifact-centric Process Model Round trip -- Automatic Generation of Business Process Models based on Attribute Relationship Diagrams -- Enriching Business Process Models with Decision Rules -- Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-Occurring Past Behavior -- Constructing Decision Trees from Process Logs for Performer Recommendation -- An Exploratory Approach for Understanding Customer Behavior Processes Based on Clustering and Sequence Mining -- The Design of a Workflow Recommendation System for Workflow as a Service in the Cloud -- Business Process Assignment and Execution from Cloud to Mobile -- Monitoring of Business Processes with Complex Event Processing -- Bringing Semantics to Aspect-Oriented Business Process Management -- Towards the Enhancement of Business Process Monitoring for Complex Logistics Chains -- Investigating Service Behavior Variance in Port Logistics from a Process Perspective -- A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis -- Towards a DSL-based approach for specifying and monitoring home care plans -- Urban Congestion: Arrangement of Aamriw intersection in Bejaia's city -- Supply Chain Uncertainty under ARIMA Demand Process -- Methods for Evaluating Process Model Search -- Decomposition and Hierarchization of EPCs: A Case Study -- Process Model Fragmentization, Clustering and Merging: An Empirical Study -- Towards Measuring Process Model Granularity via Natural Language Analysis -- Automatic Extraction of Process Categories from Process Model Collections -- The Process Model Matching Contest 2013 -- Keynote: Specification and Conflict Detection for GTRBAC in Multi-domain Environment -- Multi-dimensional Secure Service Orchestration -- Explication of Termination Semantics as a Security-Relevant Feature in Business Process Modeling Languages -- Supporting Domain Experts to Select and Configure Precise Compliance Rules -- A Framework for the Privacy Access Control Model -- Role-based Access Control for Securing Dynamically Created Documents -- Towards Enhancing Business Process Monitoring with Sonification -- A Navigation Metaphor to Support Mobile Workflow Systems -- Evaluating KIPN for Modeling KIP. |
Record Nr. | UNINA-9910298562003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management Workshops [[electronic resource] ] : BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012, Revised Papers / / edited by Marcello La Rosa, Pnina Soffer |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (LVI, 783 p. 264 illus.) |
Disciplina | 658.0285 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology Business—Data processing Data structures (Computer science) Production management Computer Appl. in Administrative Data Processing IT in Business Information Systems Applications (incl. Internet) Data Structures and Information Theory Operations Management |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-36285-0 |
Classificazione |
004
SS 4801 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1st International Workshop on Adaptive Case Management and Other Non-workflow Approaches to BPM (ACM 2012) -- 8th International Workshop on Business Process Design (BPD 2012) -- 8th International Workshop on Business Process Intelligence (BPI 2012) -- 5th International Workshop on Business Process Management and Social Software (BPMS2 2012) -- 1st International Workshop on Data- and Artifact-Centric BPM (DAB 2012) -- 6th International Workshop on Event-Driven Business Process Management (edBPM 2012) -- 3rd International Workshop on Empirical Research in Business Process Management (ER-BPM 2012) -- 2nd International Workshop on Process Model Collections (PMC 2012) -- 2nd International Workshop on Process-Aware Logistics Systems (PALS 2012) -- 3rd International Workshop on Reuse in Business Process Management (rBPM 2012) -- Joint Workshop on Security in Business Processes (SBP 2012) -- 1st International Workshop on Theory and Applications of Process Visualization (TAProViz 2012). |
Record Nr. | UNINA-9910739478803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
California journal of operations management |
Pubbl/distr/stampa | Ceres, CA, : CSUPOM, Inc |
Disciplina | 658.5 |
Soggetto topico |
Production management
Industrial management |
Soggetto genere / forma | Periodicals. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | CJOM |
Record Nr. | UNINA-9910139080703321 |
Ceres, CA, : CSUPOM, Inc | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Capacitated Lot Sizing Problems in Process Industries [[electronic resource] /] / by Ravi Ramya, Chandrasekharan Rajendran, Hans Ziegler, Sanjay Mohapatra, K. Ganesh |
Autore | Ramya Ravi |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXXV, 196 p. 41 illus.) |
Disciplina | 658.5 |
Soggetto topico |
Production management
Industrial engineering Production engineering Operations research Decision making Production Industrial and Production Engineering Operations Research/Decision Theory |
ISBN | 3-030-01222-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Introduction -- Chapter 2. CLSP: Real Life Applications and Motivation to Study Lot Sizing Problems in Process Industries -- Chapter 3. Capacitated Lot Sizing Problem with Production Carryover and Setup Crossover Across Periods (CLSP:PCSC): Mathematical Model 1 (MM1) and A Heuristic for Process Industries -- Chapter 4. Further Development: Mathematical Model 2 (MM2) and A Comprehensive Heuristic for Capacitated Lot Sizing Problem with Production Carryover and Setup Crossover Across Periods for Peocess Industries -- Chapter 5. Capacitated Lot Sizing Problem with Production Carryover and Setup Crossover Across Periods Assuming Sequencedependent Setup Times and Setup Costs (CLSP-SD-PCSC): Mathematical Models for Process Indusctries -- Chapter 6. Summary Concerning Theoretical Developments. |
Record Nr. | UNINA-9910337783003321 |
Ramya Ravi | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|