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.
Service Oriented Computing [[electronic resource] ] : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings / / edited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad
| Service Oriented Computing [[electronic resource] ] : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings / / edited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XVIII, 680 p.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
| ISBN | 3-642-25535-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page -- Preface -- Organization -- Table of Contents -- Research Papers - Long -- Business Process Modeling -- Computing Degree of Parallelism for BPMN Processes -- Introduction -- A Formal Model for Processes -- Homogeneous Processes -- Acyclic Choice-Less Processes -- Asynchronous Processes -- Related Work -- Conclusions -- References -- State Propagation in Abstracted Business Processes -- Introduction -- Motivating Example and Research Challenges -- Activity Instance State Propagation -- Preliminaries -- State Propagation -- Activity Instance State Uniqueness -- Activity Instance State Transition Correctness -- Behavioral Inconsistencies -- Example -- Formalization of Behavioral Inconsistencies -- Classification of Behavioral Inconsistencies -- Related Work -- Conclusion and Future Work -- References -- Push-Enabling RESTful Business Processes -- Introduction -- RESTful Business Processes -- Publishing Processes as Resources -- Process Representations -- Uniform Interface -- Example -- RESTful Push Interactions -- Using HTTP -- Dedicated Push Frameworks -- Architecture -- Representing Process Resources as Feeds -- Push-Enabled RESTful Process Execution Engine -- Related Work -- Conclusions -- References -- Quality of Service 1 -- QoS Analysis for Web Service Compositions Based on Probabilistic QoS -- Introduction -- Related Work -- Preliminaries -- Modeling Composite Services and Composition Patterns -- Model Processing Algorithm for Composite QoS Computation -- Probabilistic QoS Aggregation -- Approach Overview and Underlying Assumptions -- QoS Probability Distribution Calculation for Composition Patterns -- Experiment -- Validation -- Efficiency -- Conclusion -- References -- Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations -- Introduction -- Motivation -- Constraint-Based QoS Prediction.
The General Prediction Framework -- QoS Prediction Architecture -- Representing Orchestrations and Their Continuations -- Deriving QoS Constraints from Continuations -- Using Computational Cost Functions -- Solving the Constraints -- Experimental Evaluations -- Implementation Notes -- Conclusions -- References -- Optimizing Decisions in Web Services Orchestrations -- Introduction -- Fundamentals -- Optimization Models -- QoS in Web Services -- Analytic Hierarchy Process -- Methodology -- Formulating Optimization Problems -- Optimization Routines in Orc -- QOrc: Upgrading Orc for QoS Management -- Interfacing QOrc to Optimization Services -- Optimal Decision Results -- Related Work -- Conclusion -- References -- Formal Methods -- Decidability Results for Choreography Realization -- Introduction -- Basic Definitions -- Interconnected Models and Interaction Models -- Languages and Traces -- Partial Realizability -- The Synchronous Case -- The Asynchronous Case -- Distributed Realizability -- The Synchronous Case -- The Asynchronous Case -- Complexity -- Complete Realizability -- The Synchronous Case -- The Asynchronous Case -- Complexity -- Related Work -- Conclusion and Open Problems -- References -- Conformance Testing for Asynchronously Communicating Services -- Introduction -- Correct Behavior -- Conformance Partner -- Test Case Generation -- Related Work -- Conclusion -- References -- Programming Services with Correlation Sets -- Introduction -- Key Concepts in Service-Oriented Computing -- Language Overview -- Data Structures, Syntax and Semantics -- Properties and Types -- Language Implementation in JOLIE -- Example: A Decentralised Authentication Protocol -- Related Work and Conclusions -- References -- Verification of Deployed Artifact Systems via Data Abstraction -- Introduction -- Artifacts and Artifact Systems. The Order-to-Cash Business Process -- Verification of Artifact Systems -- The General Problem -- Verification of Deployed Artifact Systems -- Conclusions and Future Work -- References -- XaaS Computing -- Profiling-as-a-Service: Adaptive Scalable Resource Profiling for the Cloud in the Cloud -- Introduction -- Profiling as a Service (PraaS) -- Adaptive Resource Profiling in the Cloud -- Constraint-Guided Profiling Adaptation -- Technical Details -- Profiling Service Policy Specifications -- System Architecture -- Prototype Profiling Support -- Evaluation -- Measuring Profiling Overhead -- Measuring Profiling Accuracy -- Stress Testing of the Deployment and Financial Implications -- Evaluation Summary -- Related Work -- Conclusion -- References -- VM Placement in non-Homogeneous IaaS-Clouds -- Introduction -- Overview of Our Approach -- User Provided Hints and Constraints -- Synthesis of Dynamic Infrastructures -- Deployment Plan Production -- Elastic Solver Service -- Evaluation -- Related Work -- Conclusions -- References -- Service Discovery -- Place Semantics into Context: Service Community Discovery from the WSDL Corpus -- Introduction -- Framework for Service Community Discovery -- Community Discovery via NMTF -- Result Interpretation -- Objective Function -- Semantic Extension Integration -- Computing the Semantic Extensions of the WSDL Corpus -- Semantic Extension Integration -- Empirical Study -- Evaluation Metrics -- Experiment Design and Parameter Setting -- Performance Comparison -- Related Work -- Service Community Discovery -- Service Search and Discovery -- Service Selection -- Conclusion and Future Directions -- References -- WTCluster: Utilizing Tags for Web Services Clustering -- Introduction -- Related Work -- WTCluster -- Framework for Web Service Discovery -- Feature Extraction and Similarity Computation. Similarity Integration -- Tag Recommendation -- Experiment -- Experiment Setup -- Performance of Web Service Clustering -- Evaluation of Tag Recommendation Strategies -- Conclusion -- References -- Similarity Function Recommender Service Using Incremental User Knowledge Acquisition -- Introduction -- Preliminaries -- Community Data Graph -- Measuring Entity Similarity -- Overall Architecture -- Exploiting Community User Knowledge -- Recommendation Rule Representation Model -- Matching Recommendation Rules -- Ranking Recommendation Rules -- Incremental Knowledge Acquisition -- Knowledge Acquisition Method: Ripple Down Rule -- Acquiring Knowledge through Different Rule Types -- Attribute Type-Based Rule (Default Rule). -- Key Attribute-based Rule. -- Relationship-based Rule. -- Lexical Relation-based Rule. -- Implementation, Usage, and Evaluation -- Implementation -- Usage Scenario of the Recommender Service -- Evaluation -- Related Work -- Conclusion and Future Work -- References -- Revealing Hidden Relations amongWeb Services Using Business Process Knowledge -- Introduction: Relations among Web Services -- Related Work -- Preliminaries -- The Extended Behavioral Profile -- FormalModel -- Running Example -- Deriving a Global Behavioral Profile -- Merging Individual Behavioral Profiles -- Predicting Potential Resolutions for Unknown Relations (a?b) -- Experiments and Evaluation -- Discussion -- References -- Service Science and Management -- Towards a Service System Ontology for Service Science -- Introduction -- Foundational Concepts of the Service Systems Worldview -- Overview of Service Theories and Frameworks -- Analysis -- Discussion -- Conclusion and Future Work -- References -- Support for the Business Motivation Model in the WS-Policy4MASC Language and MiniZnMASC Middleware -- Introduction -- Background and Related Work. WS-Policy4MASC and MiniZnMASC -- Business Motivation Model (BMM) -- Other Related Work -- Extension of WS-Policy4AMSC and MiniZnMASC with Key BMM Constructs -- Evaluation -- Conclusions and Future Work -- References -- WS-Governance: A Policy Language for SOA Governance -- Introduction -- A Motivating Use Case -- Using WS-Policy for SOA Governance -- From WS-Policy to WS-Governance -- SOA Modeling with SADL -- Specifying Governance Properties, and Policy Assertions with GAL -- Automatic Consistency Checking through CSPs -- Checking for Consistency -- WS-Governance Tooling: GDA and GDE -- Related Work -- Conclusions and Future Work -- References -- QoS-Based Task Scheduling in Crowdsourcing Environments -- Introduction -- Related Work -- Crowdsourcing Platform Model -- Integration of Service Level Agreements (SLAs) -- Discussion -- Quality and Skill-Aware Crowdsourcing -- Skills and Suitability -- Worker and Consumer Communication -- Scheduling -- Profile Management -- Experiments -- Experiment Setup -- Experiment Types and Results -- Conclusion and Future Work -- References -- Service Security and Trust -- Model Driven Security Analysis of IDaaS Protocols -- Introduction -- Related Work -- Overview of Logic of Authentication -- Extending Belief Logic -- Reasoning about Users, Actions and Secrets -- Example: Analysis of SAML Web Single Sign-On -- Model Driven Security Protocol Analysis -- Automated Analysis of Belief Logics -- Overview -- Benefits of Model Driven Analysis -- Modeling of Extended Belief Logic -- Unification Algorithms -- OAuth Protocol Analysis -- Conclusion -- References -- Credibility-Based Trust Management for Services in Cloud Environments -- Introduction -- Related Work -- The Trust Management Framework -- Assumptions and Attack Models -- Trust Management Service -- Trust Feedback Collection and Assessment. Availability of the Trust Management Service. |
| Record Nr. | UNISA-996465920503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel
| Theory and Practice of Model Transformations [[electronic resource] ] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 221 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-642-38883-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mining Models from Generated System Tests -- Streaming model transformations: scenarios, challenges and initial solutions -- Genetic-Programming Approach to Learn Model Transformation Rules from Examples -- Walk Your Tree Any Way You Want -- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems -- Yet Another Three QVT Languages -- Evolution and Synchronisation -- Robust Real-Time Synchronization between Textual and Graphical Editors. |
| Record Nr. | UNISA-996465836603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel
| Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 221 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-642-38883-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mining Models from Generated System Tests -- Streaming model transformations: scenarios, challenges and initial solutions -- Genetic-Programming Approach to Learn Model Transformation Rules from Examples -- Walk Your Tree Any Way You Want -- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems -- Yet Another Three QVT Languages -- Evolution and Synchronisation -- Robust Real-Time Synchronization between Textual and Graphical Editors. |
| Record Nr. | UNINA-9910483109003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML @ Classroom : An Introduction to Object-Oriented Modeling / / by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
| UML @ Classroom : An Introduction to Object-Oriented Modeling / / by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel |
| Autore | Seidl Martina |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 206 p.) |
| Disciplina | 005.117 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Software engineering
Electronic data processing - Management Software Engineering IT Operations |
| ISBN | 3-319-12742-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 A Short Tour of UML -- 3 The Use Case Diagram -- 4 The Class Diagram -- 5 The State Machine Diagram -- 6 The Sequence Diagram -- 7 The Activity Diagram -- 8 All Together Now -- 9 Further Topics. |
| Record Nr. | UNINA-9910299245103321 |
Seidl Martina
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Engineering [[electronic resource] ] : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings / / edited by Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi
| Web Engineering [[electronic resource] ] : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings / / edited by Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (528 p. 231 illus.) |
| Disciplina | 006.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer programming
Application software Artificial intelligence Information storage and retrieval Database management Computer communication systems Programming Techniques Information Systems Applications (incl. Internet) Artificial Intelligence Information Storage and Retrieval Database Management Computer Communication Networks |
| Soggetto genere / forma | Congress |
| ISBN |
1-280-38749-1
9786613565419 3-642-13911-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Search -- Searching Repositories of Web Application Models -- Toward Approximate GML Retrieval Based on Structural and Semantic Characteristics -- Advancing Search Query Autocompletion Services with More and Better Suggestions -- Designing Service Marts for Engineering Search Computing Applications -- Web Services -- Engineering Autonomic Controllers for Virtualized Web Applications -- AWAIT: Efficient Overload Management for Busy Multi-tier Web Services under Bursty Workloads -- Normative Management of Web Service Level Agreements -- Combining Schema and Level-Based Matching for Web Service Discovery -- Web Messaging for Open and Scalable Distributed Sensing Applications -- On Actors and the REST -- Development Process -- Multi-level Tests for Model Driven Web Applications -- Capture and Evolution of Web Requirements Using WebSpec -- Re-engineering Legacy Web Applications into Rich Internet Applications -- Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments -- Quality, Quality in Use, Actual Usability and User Experience as Key Drivers for Web Application Evaluation -- Interfaces for Scripting: Making Greasemonkey Scripts Resilient to Website Upgrades -- Web 2.0 -- Context-Aware Interaction Approach to Handle Users Local Contexts in Web 2.0 -- Rethinking Microblogging: Open, Distributed, Semantic -- A Web-Based Collaborative Metamodeling Environment with Secure Remote Model Access -- Carbon: Domain-Independent Automatic Web Form Filling -- Scalable and Mashable Location-Oriented Web Services -- Linked Data -- A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data -- Ranking the Linked Data: The Case of DBpedia -- Linkator: Enriching Web Pages by Automatically Adding Dereferenceable Semantic Annotations -- Performance and Security -- A Generic Proxy for Secure Smart Card-Enabled Web Applications -- Efficient Term Cloud Generation for Streaming Web Content -- Industry Papers -- Experiences in Building a RESTful Mixed Reality Web Service Platform -- WebRatio BPM: A Tool for Designing and Deploying Business Processes on the Web -- A Visual Tool for Rapid Integration of Enterprise Software Applications -- Customization Realization in Multi-tenant Web Applications: Case Studies from the Library Sector -- Challenges and Experiences in Deploying Enterprise Crowdsourcing Service -- Business Conversation Manager: Facilitating People Interactions in Outsourcing Service Engagements -- Demo and Poster Papers -- Tools for Modeling and Generating Safe Interface Interactions in Web Applications -- Linking Related Documents: Combining Tag Clouds and Search Queries -- GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis -- Open, Distributed and Semantic Microblogging with SMOB -- The ServFace Builder - A WYSIWYG Approach for Building Service-Based Applications -- Extracting Client-Side Web User Interface Controls -- Applying Semantic Web Technology in a Mobile Setting: The Person Matcher -- Syncro - Concurrent Editing Library for Google Wave -- An Eclipse Plug-in for Model-Driven Development of Rich Internet Applications -- A Cross-Platform Software System to Create and Deploy Mobile Mashups -- A Blog-Centered IPTV Environment for Enhancing Contents Provision, Consumption, and Evolution -- Factic: Personalized Exploratory Search in the Semantic Web -- Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. |
| Record Nr. | UNISA-996465877803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||