top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
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]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Process Analytics : 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
Process Analytics : 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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Service-Oriented Computing--ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005 : proceedings / / Boualem Benatallah, Fabio Casati, Paolo Traverso (eds.)
Service-Oriented Computing--ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005 : proceedings / / Boualem Benatallah, Fabio Casati, Paolo Traverso (eds.)
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, : Springer-Verlag, c2005
Descrizione fisica 1 online resource (XVIII, 606 p.)
Disciplina 004.6
Altri autori (Persone) BenatallahBoualem
CasatiFabio <1971->
TraversoPaolo
Collana Lecture notes in computer science
Soggetto topico Mobile communication systems
Electronic commerce
Web services
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.
Altri titoli varianti ICSOC 2005
Record Nr. UNINA-9910484436203321
Berlin, : Springer-Verlag, c2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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ć
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Service-Oriented Computing--ICSOC 2013 Workshops : 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ć
Service-Oriented Computing--ICSOC 2013 Workshops : 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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Technologies for E-Services [[electronic resource] ] : 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings / / edited by Boualem Benatallah, Min-Chien Shan
Technologies for E-Services [[electronic resource] ] : 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings / / edited by Boualem Benatallah, Min-Chien Shan
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (X, 206 p.)
Disciplina 005.2/76
Collana Lecture Notes in Computer Science
Soggetto topico Data structures (Computer science)
Computer science
Database management
Computer communication systems
Application software
Computers and civilization
Data Structures and Information Theory
Popular Computer Science
Database Management
Computer Communication Networks
Information Systems Applications (incl. Internet)
Computers and Society
ISBN 3-540-39406-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Web Services Aggregation -- A Framework for Business Rule Driven Service Composition -- Context-Aware Composition of E-services -- A Quality-Aware Approach to Web Services Procurement -- Towards a Context-Aware Service Directory -- User-Facing Web Service Development: A Case for a Product-Line Approach -- A Contract Model to Deploy and Control Cooperative Processes -- A Reputation-Based Approach to Preserving Privacy in Web Services -- Reliable Web Service Execution and Deployment in Dynamic Environments -- Reliable Execution Planning and Exception Handling for Business Process -- L-ToPSS – Push-Oriented Location-Based Services -- A Process and a Tool for Creating Service Descriptions Based on DAML-S -- Mathematical Web Services: A Case Study -- enTish: An Approach to Service Composition -- Varying Resource Consumption to Achieve Scalable Web Services -- A Protocol for Fast Co-Allocation of Shared Web Services.
Record Nr. UNISA-996466058203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui