Business Process Management [[electronic resource] ] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings / / edited by Wil M.P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera |
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 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management [[electronic resource] ] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings / / edited by Wil M.P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera |
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. | UNINA-9910483161003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, revised selected papers / / edited by Arthur ter Hofstede, Boualem Benatallah, Hye-Young Paik |
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 |
Berlin, Germany : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, revised selected papers / / edited by Arthur ter Hofstede, Boualem Benatallah, Hye-Young Paik |
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. | UNISA-996465896003316 |
Berlin, Germany : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model and Data Engineering [[electronic resource] ] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings / / edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah |
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 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Process Analytics [[electronic resource] ] : Concepts and Techniques for Querying and Analyzing Process Data / / by Seyed-Mehdi-Reza Beheshti, Boualem Benatallah, Sherif Sakr, Daniela Grigori, Hamid Reza Motahari-Nezhad, Moshe Chai Barukh, Ahmed Gater, Seung Hwan Ryu |
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 |
Beheshti Seyed-Mehdi-Reza
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing – ICSOC 2005 [[electronic resource] ] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XVIII, 606 p.) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Application software Information storage and retrieval Software engineering Computers and civilization Information technology Business—Data processing Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Computers and Society IT in Business |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration -- Service Design and Validation -- Pattern-Based Specification and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service Compliance Across Releases -- Towards a Classification of Web Service Feature Interactions -- Service Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints -- On Service Discovery Process Types -- SPiDeR: P2P-Based Web Service Discovery -- An Approach to Temporal-Aware Procurement of Web Services -- Service Composition and Aggregation -- Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm -- Modeling and Analyzing Context-Aware Composition of Services -- Towards Semi-automated Workflow-Based Aggregation of Web Services -- Choreography and Orchestration: A Synergic Approach for System Design -- Service Monitoring -- PerfSONAR: A Service Oriented Architecture for Multi-domain Network Monitoring -- DySOA: Making Service Systems Self-adaptive -- Towards Dynamic Monitoring of WS-BPEL Processes -- Service Management -- Template-Based Automated Service Provisioning – Supporting the Agreement-Driven Service Life-Cycle -- Proactive Management of Service Instance Pools for Meeting Service Level Agreements -- Adaptive Component Management Service in ScudWare Middleware for Smart Vehicle Space -- Semantic Web and Grid Services -- Semantic Caching for Web Services -- ODEGSG Framework, Knowledge-Based Annotation and Design of Grid Services -- Implicit Service Calls in ActiveXML Through OWL-S -- Semantic Tuplespace -- Security, Exception Handling, and SLAs -- Trust-Based Secure Workflow Path Construction -- Reputation-Based Service Level Agreements for Web Services -- Handling Faults in Decentralized Orchestration of Composite Web Services -- What’s in an Agreement?An Analysis and an Extension of WS-Agreement -- Industrial and Application Papers -- SOA in the Real World – Experiences -- Service-Oriented Design: The Roots -- A Service Oriented Architecture for Deploying and Managing Network Services -- Demo Papers -- Dynamo: Dynamic Monitoring of WS-BPEL Processes -- WofBPEL: A Tool for Automated Analysis of BPEL Processes -- OpenWS-Transaction: Enabling Reliable Web Service Transactions -- ASTRO: Supporting Composition and Execution of Web Services -- Demonstrating Dynamic Configuration and Execution of Web Processes -- Short Papers -- Programming and Compiling Web Services in GPSL -- Semantic Management of Web Services -- Composition of Services with Nondeterministic Observable Behavior -- Efficient and Transparent Web-Services Selection -- An Approach to Parameterizing Web Service Flows -- Dynamic Policy Management on Business Performance Management Architecture -- A Lightweight Formal Framework for Service-Oriented Applications Design -- A MDE Approach for Power Distribution Service Development -- Semantic Web Services for Activity-Based Computing -- The Price of Services -- Managing End-to-End Lifecycle of Global Service Policies -- Applying a Web Engineering Method to Design Web Services -- An Architecture for Unifying Web Services Authentication and Authorization -- Specifying Web Service Compositions on the Basis of Natural Language Requests. |
Record Nr. | UNISA-996465527103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-Oriented Computing – ICSOC 2005 [[electronic resource] ] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XVIII, 606 p.) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Application software Information storage and retrieval Software engineering Computers and civilization Information technology Business—Data processing Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Computers and Society IT in Business |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration -- Service Design and Validation -- Pattern-Based Specification and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service Compliance Across Releases -- Towards a Classification of Web Service Feature Interactions -- Service Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints -- On Service Discovery Process Types -- SPiDeR: P2P-Based Web Service Discovery -- An Approach to Temporal-Aware Procurement of Web Services -- Service Composition and Aggregation -- Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm -- Modeling and Analyzing Context-Aware Composition of Services -- Towards Semi-automated Workflow-Based Aggregation of Web Services -- Choreography and Orchestration: A Synergic Approach for System Design -- Service Monitoring -- PerfSONAR: A Service Oriented Architecture for Multi-domain Network Monitoring -- DySOA: Making Service Systems Self-adaptive -- Towards Dynamic Monitoring of WS-BPEL Processes -- Service Management -- Template-Based Automated Service Provisioning – Supporting the Agreement-Driven Service Life-Cycle -- Proactive Management of Service Instance Pools for Meeting Service Level Agreements -- Adaptive Component Management Service in ScudWare Middleware for Smart Vehicle Space -- Semantic Web and Grid Services -- Semantic Caching for Web Services -- ODEGSG Framework, Knowledge-Based Annotation and Design of Grid Services -- Implicit Service Calls in ActiveXML Through OWL-S -- Semantic Tuplespace -- Security, Exception Handling, and SLAs -- Trust-Based Secure Workflow Path Construction -- Reputation-Based Service Level Agreements for Web Services -- Handling Faults in Decentralized Orchestration of Composite Web Services -- What’s in an Agreement?An Analysis and an Extension of WS-Agreement -- Industrial and Application Papers -- SOA in the Real World – Experiences -- Service-Oriented Design: The Roots -- A Service Oriented Architecture for Deploying and Managing Network Services -- Demo Papers -- Dynamo: Dynamic Monitoring of WS-BPEL Processes -- WofBPEL: A Tool for Automated Analysis of BPEL Processes -- OpenWS-Transaction: Enabling Reliable Web Service Transactions -- ASTRO: Supporting Composition and Execution of Web Services -- Demonstrating Dynamic Configuration and Execution of Web Processes -- Short Papers -- Programming and Compiling Web Services in GPSL -- Semantic Management of Web Services -- Composition of Services with Nondeterministic Observable Behavior -- Efficient and Transparent Web-Services Selection -- An Approach to Parameterizing Web Service Flows -- Dynamic Policy Management on Business Performance Management Architecture -- A Lightweight Formal Framework for Service-Oriented Applications Design -- A MDE Approach for Power Distribution Service Development -- Semantic Web Services for Activity-Based Computing -- The Price of Services -- Managing End-to-End Lifecycle of Global Service Policies -- Applying a Web Engineering Method to Design Web Services -- An Architecture for Unifying Web Services Authentication and Authorization -- Specifying Web Service Compositions on the Basis of Natural Language Requests. |
Record Nr. | UNINA-9910484436203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing--ICSOC 2013 Workshops [[electronic resource] ] : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers / / edited by Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić |
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 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing--ICSOC 2013 Workshops [[electronic resource] ] : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers / / edited by Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić |
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. | UNISA-996214045903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|