Edizione	[1st ed. 2005.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica	1 online resource (XII, 480 p.)
Disciplina	658/.05
Collana	Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico	Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems IT in Business
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry -- An Organisational Perspective on Collaborative Business Processes -- Mining Hierarchies of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using Forward Stepping and Alternative Paths -- Semi-automatic Generation of Web Services and BPEL Processes – A Model-Driven Approach -- A Human-Oriented Tuning of Workflow Management Systems -- The Price of Coordination in Resource Management -- sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services -- Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow -- An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis -- Using the ?-Calculus for Formalizing Workflow Patterns -- Mining Workflow Recovery from Event Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based Coordination of Process-Oriented Composite Applications -- Integrating Process Learning and Process Evolution – A Semantics Based Approach -- An Analysis and Taxonomy of Unstructured Workflows -- A Framework for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling and Assessment of Production Printing Workflows Using Petri Nets -- Process Management in Health Care: A System for Preventing Risks and Medical Errors -- A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department -- IT Support for Healthcare Processes -- From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols -- Short Papers -- Using Software Quality Characteristics to Measure Business Process Quality -- Business Process Modelling and Improvement Using TAD Methodology -- On the Suitability of Correctness Criteria for Business Process Models -- Service Retrieval Based on Behavioral Specifications and Quality Requirements -- On the Semantics of EPCs: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective Content Management Methodology for Business Process Management -- Specification and Management of Policies in Service Oriented Business Collaboration -- Yet Another Event-Driven Process Chain -- Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective -- Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services -- Accelerated Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process into Legacy Information Systems -- Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow -- Verification of SAP Reference Models.
Record Nr.	UNISA-996465926603316

Edizione	[1st ed. 2008.]
Pubbl/distr/stampa	Berlin, Germany : , : Springer, , [2008]
Descrizione fisica	1 online resource (XIII, 522 p.)
Disciplina	658.05
Collana	Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico	Business - Data processing - Management Workflow - Management Business - Data processing Management information systems
ISBN	3-540-78238-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	BPI Workshop -- to the Third Workshop on Business Process Intelligence (BPI 2007) -- Challenges for Business Process Intelligence: Discussions at the BPI Workshop 2007 -- The Predictive Aspect of Business Process Intelligence: Lessons Learned on Bridging IT and Business -- Process Mining Based on Clustering: A Quest for Precision -- Preprocessing Support for Large Scale Process Mining of SAP Transactions -- Process Mining as First-Order Classification Learning on Logs with Negative Events -- Modeling Alternatives in Exception Executions -- Business Process Simulation for Operational Decision Support -- Autonomic Business Processes Scalable Architecture -- The Need for a Process Mining Evaluation Framework in Research and Practice -- BPD Workshop -- to the Third Workshop on Business Process Design -- Challenges Observed in the Definition of Reference Business Processes -- Trade-Offs in the Performance of Workflows – Quantifying the Impact of Best Practices -- Compliance Aware Business Process Design -- Transforming Object-Oriented Models to Process-Oriented Models -- Perspective Oriented Business Process Visualization -- A Practical Experience in Designing Business Processes to Improve Collaboration -- Modeling Requirements for Value Configuration Design -- CBP Workshop -- to the First Workshop on Collaborative Business Processes (CBP 2007) -- Collaborative e-Business Process Modelling: Transforming Private EPC to Public BPMN Business Process Models -- Transforming XPDL to Petri Nets -- Interaction Modeling Using BPMN -- CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction -- Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets -- Quality Analysis of Composed Services through Fault Injection -- Automated Approach for Developing and Changing SOA-Based Business Process Implementation -- A Phased Deployment of a Workflow Infrastructure in the Enterprise Architecture -- Evie – A Developers Toolkit for Encoding Service Interaction Patterns -- Delegating Revocations and Authorizations -- Privacy Preserving Collaborative Business Process Management -- ProHealth Workshop -- to the First International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth 2007) -- Careflow: Theory and Practice -- Guideline Models, Process Specification, and Workflow -- Restrictions in Process Design: A Case Study on Workflows in Healthcare -- Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues -- Managing Socio-technical Interactions in Healthcare Systems -- Adaptive Workflows for Healthcare Information Systems -- Access Control Requirements for Processing Electronic Health Records -- Learning Business Process Models: A Case Study -- Mining Process Execution and Outcomes – Position Paper -- Reference Model Workshop -- to the 10th Reference Modeling Workshop -- Adapting Standards to Facilitate the Transition from Situational Model to Reference Model -- Linking Domain Models and Process Models for Reference Model Configuration -- Reference Modeling for Higher Education Budgeting: Applying the H2 Toolset for Conceptual Modeling of Performance-Based Funding Systems -- Towards a Reference Process Model for Event Management -- Semantics Workshop -- to the 2nd Edition of the Workshop ”Advances in Semantics for Web Services 2007” (Semantics4ws 2007) -- SPARQL-Based Set-Matching for Semantic Grid Resource Selection -- Calculating the Semantic Conformance of Processes -- Towards a Formal Framework for Reuse in Business Process Modeling -- A Vocabulary and Execution Model for Declarative Service Orchestration -- Towards Dynamic Matching of Business-Level Protocols in Adaptive Service Compositions -- Retrieving Substitute Services Using Semantic Annotations: A Foodshop Case Study -- A Need for Business Assessment of Semantic Web Services’ Applications in Enterprises.
Record Nr.	UNINA-9910484388903321

Edizione	[1st ed. 2012.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica	1 online resource (XII, 187 p. 74 illus.)
Disciplina	005.1
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Programming languages (Electronic computers) Management information systems Computer science Computer simulation Artificial intelligence Database management Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling Artificial Intelligence Database Management
Soggetto genere / forma	Conference proceedings.
ISBN	3-642-33609-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds -- Model-Based Auto Coding of Embedded Control Software with Full Semantics -- Modeling End-Users as Contributors in Human Computation Applications -- Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces -- Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences -- An MDE-Based Synthesis of Aircraft Safety Models -- Integrating a Formal Development for DSLs into Meta-modeling -- Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy -- Modular Ontological Warehouse for Adaptative Information Search -- Ontological Re-classification of Individuals: A Multi-viewpoints Approach -- Transformation and Validation with SWRL and OWL of ODM-Based Models -- Context-Based Query Using Dependency Structures Based on Latent Topic Model -- Decision Tree Selection in an Industrial Machine Fault Diagnostics -- Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis -- Inductive UML -- Formal Software Verification at Model and at Source Code Levels -- Enterprise Ontology Learning for Heterogeneous Graphs Extraction -- Toward Propagating the Evolution of Data Warehouse on Data Marts.
Record Nr.	UNISA-996466185803316

Autore	Beheshti Seyed-Mehdi-Reza
Edizione	[1st ed. 2016.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica	1 online resource (194 p.)
Disciplina	004
Soggetto topico	Application software Management information systems Industrial management Data mining Database management Information Systems Applications (incl. Internet) Business Process Management Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery Database Management
ISBN	3-319-25037-X
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Introduction -- Business Process Paradigms -- Process matching techniques -- Model-based Business Process Query techniques and languages -- Business Process Data Analysis -- Tools, Use Cases and Discussions -- References. .
Record Nr.	UNINA-9910254996103321

Edizione	[1st ed. 2014.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica	1 online resource (XIV, 586 p. 220 illus.)
Disciplina	005.1
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Application software Information technology Business—Data processing Management information systems Computer science Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computer Science, general
ISBN	3-319-06859-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Engineering Service-Oriented Applications WESOA 2013 -- Introduction to the 9th International Workshop on Engineering Service-Oriented Applications (WESOA’13) -- From Process Models to Business Process Architectures: Connecting the Layers -- Goal-Driven Composition of Business Process Models -- Integrating Service Release Management with Service Solution Design -- Practical Compiler-Based User Support during the Development of Business Processes -- Model Checking GSM-Based Multi-Agent Systems -- Towards Modeling and Execution of Collective Adaptive Systems -- A Requirements-Based Model for Effort Estimation in Service-Oriented Systems -- Augmenting Complex Problem Solving with Hybrid Compute Units -- Towards Automating the Detection of Event Sources -- Discovering Pattern-Based Mediator Services from Communication Logs -- Cloud Service Brokerage CSB 2013 -- Cloud Service Brokerage - 2013: Methods and Mechanisms -- A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures -- Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements -- Towards Value-Driven Business Modelling Based on Service Brokerage -- Introducing Policy-Driven Governance and Service Level Failure Mitigation in Cloud Service Brokers: Challenges Ahead -- Model-Based Testing in Cloud Brokerage Scenarios -- Value-Added Modelling and Analysis in Service Value Brokerage -- Semantic Web Enabled Software Engineering SWESE 2013 -- Introduction to the Proceedings of the 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) 2013 -- Management of Variability in Modular Ontology Development -- Towards Automated Service Matchmaking and Planning for Multi-Agent Systems with OWL-S – Approach and Challenges -- Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective -- Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL -- Template-Based Ontology Population for Smart Environments Configuration -- Cloud Computing and Scientific Applications CCSA 2013 -- Introduction to the 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA’13) -- SLA-Aware Load Balancing in a Web-Based Cloud System over OpenStack -- Are Public Clouds Elastic Enough for Scientific Computing? -- A Light-Weight Framework for Bridge-Building from Desktop to Cloud -- Planning and Scheduling Data Processing Workflows in the Cloud with Quality-of-Data Constraints -- Galaxy + Hadoop: Toward a Collaborative and Scalable Image Processing Toolbox in Cloud -- SciLightning: A Cloud Provenance-Based Event Notification for Parallel Workflows -- Energy Savings on a Cloud-Based Opportunistic Infrastructure -- Pervasive Analytical Service Clouds for the Enterprise and Beyond PACEB 2013 -- Introduction to the Proceedings of the Workshop on Pervasive -- Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013 -- Towards a Formal Model for Cloud Computing -- An Optimized Strategy for Data Service Response with Template-Based Caching and Compression -- Model-Driven Event Query Generation for Business Process Monitoring -- Enabling Semantic Complex Event Processing in the Domain of Logistics -- Towards Self-adaptation Planning for Complex Service-Based Systems -- Towards an Integration Platform for Bioinformatics Services -- Requirements to Pervasive System Continuous Deployment -- Towards Structure-Based Quality Awareness in Software Ecosystem Use -- An Adaptive Enterprise Service Bus Infrastructure for Service Based Systems -- Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented Approach -- Flexible Component Migration in an OSGi Based Pervasive Cloud Infrastructure -- Hybrid Emotion Recognition Using Semantic Similarity -- PhD Symposium -- ICSOC PhD Symposium 2013 -- Towards the Automated Synthesis of Data Dependent Service Controllers -- Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment -- An Information-Centric System for Building the Web of Things -- Testing of Distributed Service-Oriented Systems -- Automation of the SLA Life Cycle in Cloud Computing -- Towards a Dynamic Declarative Service Workflow Reference Model -- A Context-Aware Access Control Framework for Software Services -- Description and Composition of Services towards the Web-Telecom Convergence.
Record Nr.	UNINA-9910483013303321