↓ Skip to main content

Service-Oriented Computing

Overview of attention for book
Cover of 'Service-Oriented Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Similarity Computation Exploiting the Semantic and Syntactic Inherent Structure Among Job Titles
  3. Altmetric Badge
    Chapter 2 RISE: Resolution of Identity Through Similarity Establishment on Unstructured Job Descriptions
  4. Altmetric Badge
    Chapter 3 Social-Sensor Cloud Service for Scene Reconstruction
  5. Altmetric Badge
    Chapter 4 Quark: A Methodology to Transform People-Driven Processes to Chatbot Services
  6. Altmetric Badge
    Chapter 5 Cloud Certification Process Validation Using Formal Methods
  7. Altmetric Badge
    Chapter 6 Validation of Service Blueprint Models by Means of Formal Simulation Techniques
  8. Altmetric Badge
    Chapter 7 Deadlock-Freeness Verification of Business Process Configuration Using SOG
  9. Altmetric Badge
    Chapter 8 Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL
  10. Altmetric Badge
    Chapter 9 App Update Patterns: How Developers Act on User Reviews in Mobile App Stores
  11. Altmetric Badge
    Chapter 10 Predicting the Evolution of Service Value Features from User Reviews for Continuous Service Improvement
  12. Altmetric Badge
    Chapter 11 Confidence-Aware Reputation Bootstrapping in Composite Service Environments
  13. Altmetric Badge
    Chapter 12 Compound Trace Clustering to Generate Accurate and Simple Sub-Process Models
  14. Altmetric Badge
    Chapter 13 An Approach to Modeling and Discovering Event Correlation for Service Collaboration
  15. Altmetric Badge
    Chapter 14 Energy Efficient Scheduling of Application Components via Brownout and Approximate Markov Decision Process
  16. Altmetric Badge
    Chapter 15 Predicting the Available Bandwidth on Intra Cloud Network Links for Deadline Constrained Workflow Scheduling in Public Clouds
  17. Altmetric Badge
    Chapter 16 Inferring Calling Relationship Based on External Observation for Microservice Architecture
  18. Altmetric Badge
    Chapter 17 A QoS-Aware Resource Allocation Controller for Function as a Service (FaaS) Platform
  19. Altmetric Badge
    Chapter 18 Probabilistic Qualitative Preference Matching in Long-Term IaaS Composition
  20. Altmetric Badge
    Chapter 19 An Embedding Based Factorization Machine Approach for Web Service QoS Prediction
  21. Altmetric Badge
    Chapter 20 A Deep Learning Approach for Long Term QoS-Compliant Service Composition
  22. Altmetric Badge
    Chapter 21 An Artifact-Driven Approach to Monitor Business Processes Through Real-World Objects
  23. Altmetric Badge
    Chapter 22 BenchFoundry: A Benchmarking Framework for Cloud Storage Services
  24. Altmetric Badge
    Chapter 23 Automated Analysis of Cloud Offerings for Optimal Service Provisioning
  25. Altmetric Badge
    Chapter 24 Middleware for Dynamic Upgrade Activation and Compensations in Multi-tenant SaaS
  26. Altmetric Badge
    Chapter 25 Risk-Based Proactive Process Adaptation
  27. Altmetric Badge
    Chapter 26 A Debt-Aware Learning Approach for Resource Adaptations in Cloud Elasticity Management
  28. Altmetric Badge
    Chapter 27 Large-Scale and Adaptive Service Composition Using Deep Reinforcement Learning
  29. Altmetric Badge
    Chapter 28 $$\mathbb {ECHO}$$ : An Adaptive Orchestration Platform for Hybrid Dataflows across Cloud and Edge
  30. Altmetric Badge
    Chapter 29 Ensuring and Assessing Architecture Conformance to Microservice Decomposition Patterns
  31. Altmetric Badge
    Chapter 30 Polly: A Language-Based Approach for Custom Change Detection of Web Service Data
  32. Altmetric Badge
    Chapter 31 Design and Evaluation of a Self-Service Delivery Framework
  33. Altmetric Badge
    Chapter 32 Automated Generation of REST API Specification from Plain HTML Documentation
  34. Altmetric Badge
    Chapter 33 Efficient Keyword Search for Building Service-Based Systems Based on Dynamic Programming
  35. Altmetric Badge
    Chapter 34 Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps
  36. Altmetric Badge
    Chapter 35 A Tree-Based Reliability Analysis for Fault-Tolerant Web Services Composition
  37. Altmetric Badge
    Chapter 36 Modernization of Information Systems at Red.es: An Approach Based on Gap Analysis and ADM
  38. Altmetric Badge
    Chapter 37 Improving Web Services Design Quality Using Dimensionality Reduction Techniques
  39. Altmetric Badge
    Chapter 38 ARA-Assessor: Application-Aware Runtime Risk Assessment for Cloud-Based Business Continuity
  40. Altmetric Badge
    Chapter 39 Personalized Quality Centric Service Recommendation
  41. Altmetric Badge
    Chapter 40 Cataloger: Catalog Recommendation Service for IT Change Requests
  42. Altmetric Badge
    Chapter 41 ATLAS: A World-Wide Travel Assistant Exploiting Service-Based Adaptive Technologies
  43. Altmetric Badge
    Chapter 42 A Variability Model for Store-Oriented Software Ecosystems: An Enterprise Perspective
  44. Altmetric Badge
    Chapter 43 An Analysis of RESTful APIs Offerings in the Industry
  45. Altmetric Badge
    Chapter 44 Efficient Influential Individuals Discovery on Service-Oriented Social Networks: A Community-Based Approach
  46. Altmetric Badge
    Chapter 45 Empirical Study on REST APIs Usage in Android Mobile Applications
  47. Altmetric Badge
    Chapter 46 Revenue-Driven Service Provisioning for Resource Sharing in Mobile Cloud Computing
  48. Altmetric Badge
    Chapter 47 Continuous Learning as a Service for Conversational Virtual Agents
  49. Altmetric Badge
    Chapter 48 Costradamus: A Cost-Tracing System for Cloud-Based Software Services
  50. Altmetric Badge
    Chapter 49 An Automatic Approach for Transforming IoT Applications to RESTful Services on the Cloud
  51. Altmetric Badge
    Chapter 50 RobOps: Robust Control for Cloud-Based Services
  52. Altmetric Badge
    Chapter 51 Serverless Execution of Scientific Workflows
  53. Altmetric Badge
    Chapter 52 A Market-Based Approach for Detecting Malware in the Cloud via Introspection
  54. Altmetric Badge
    Chapter 53 Trustless Intermediation in Blockchain-Based Decentralized Service Marketplaces
Attention for Chapter 6: Validation of Service Blueprint Models by Means of Formal Simulation Techniques
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
23 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Validation of Service Blueprint Models by Means of Formal Simulation Techniques
Chapter number 6
Book title
Service-Oriented Computing
Published by
Springer, Cham, November 2017
DOI 10.1007/978-3-319-69035-3_6
Book ISBNs
978-3-31-969034-6, 978-3-31-969035-3
Authors

Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez, Ernest Teniente, Juan M. Vara, Estañol Lamarca, Montserrat, Marcos, Esperanza, Oriol Hilari, Xavier, Pérez, Francisco J., Teniente López, Ernest, Vara, Juan M.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 23 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 23 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 8 35%
Student > Doctoral Student 2 9%
Student > Bachelor 2 9%
Student > Ph. D. Student 2 9%
Other 1 4%
Other 3 13%
Unknown 5 22%
Readers by discipline Count As %
Computer Science 8 35%
Business, Management and Accounting 4 17%
Engineering 3 13%
Medicine and Dentistry 1 4%
Unknown 7 30%