↓ Skip to main content

Service-Oriented Computing - ICSOC 2014 Workshops

Overview of attention for book
Cover of 'Service-Oriented Computing - ICSOC 2014 Workshops'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Building Enterprise Applications Using Unicorn Universe Services
  3. Altmetric Badge
    Chapter 2 Cloud Migration Patterns: A Multi-cloud Service Architecture Perspective
  4. Altmetric Badge
    Chapter 3 GovOps: The Missing Link for Governance in Software-Defined IoT Cloud Systems
  5. Altmetric Badge
    Chapter 4 MoDAS: Methodology and Tool for Model-Driven Adaptable Services
  6. Altmetric Badge
    Chapter 5 Service Interface Synthesis in Business Networks
  7. Altmetric Badge
    Chapter 6 Virtualizing Communication for Hybrid and Diversity-Aware Collective Adaptive Systems
  8. Altmetric Badge
    Chapter 7 BPM Supported Privacy by Design for Cross-Organization Business Processes
  9. Altmetric Badge
    Chapter 8 Learning ‘Good Quality’ Resource Allocations from Historical Data
  10. Altmetric Badge
    Chapter 9 Resource-Aware Process Model Similarity Matching
  11. Altmetric Badge
    Chapter 10 Supporting Rule-Based Process Mining by User-Guided Discovery of Resource-Aware Frequent Patterns
  12. Altmetric Badge
    Chapter 11 Optimizing Resource Utilization by Combining Running Business Process Instances
  13. Altmetric Badge
    Chapter 12 A Planning-Based Service Composition Approach for Data-Centric Workflows
  14. Altmetric Badge
    Chapter 13 Discovering and Categorizing Goal Alignments from Mined Process Variants
  15. Altmetric Badge
    Chapter 14 Supporting Enterprise Changes Using Actor Performance Assessment
  16. Altmetric Badge
    Chapter 15 Towards a Framework for Semantically-Enabled Compliance Management in Financial Services
  17. Altmetric Badge
    Chapter 16 Reasoning on Incomplete Execution Traces Using Action Languages – A First Report
  18. Altmetric Badge
    Chapter 17 Semantic Web Services Approach for Collaboration in E-Gov Context
  19. Altmetric Badge
    Chapter 18 Contextualised Security Operation Deployment Through [email protected] Architecture
  20. Altmetric Badge
    Chapter 19 Domain Specific Monitoring of Business Processes Using Concept Probes
  21. Altmetric Badge
    Chapter 20 Towards a Model for Resource Allocation in API Value Networks
  22. Altmetric Badge
    Chapter 21 Using COBIT 5 for Risk to Develop Cloud Computing SLA Evaluation Templates
  23. Altmetric Badge
    Chapter 22 A Non-Parametric Data Envelopment Analysis Approach for Cloud Services Evaluation
  24. Altmetric Badge
    Chapter 23 A Lightweight User State Monitoring System on Android Smartphones
  25. Altmetric Badge
    Chapter 24 Developing Service Platform for Web Context-Aware Services Towards Self-Managing Ecosystem
  26. Altmetric Badge
    Chapter 25 Retrieving Sensors Data in Smart Buildings Through Services: A Similarity Algorithm
  27. Altmetric Badge
    Chapter 26 An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata
  28. Altmetric Badge
    Chapter 27 Optimal Virtual Machine Placement in a Multi-tenant Cloud
  29. Altmetric Badge
    Chapter 28 A Validation Method of Configurable Business Processes Based on Data-Flow
  30. Altmetric Badge
    Chapter 29 Exploiting the Parallel Execution of Homology Workflow Alternatives in HPC Compute Clouds
  31. Altmetric Badge
    Chapter 30 Vertical Scaling Capability of OpenStack
  32. Altmetric Badge
    Chapter 31 A Description-Based Service Search System
  33. Altmetric Badge
    Chapter 32 Dynamic Composite Web Service Execution by Providing Fault-Tolerance and QoS Monitoring
  34. Altmetric Badge
    Chapter 33 Dynamic QoS Requirement Aware Service Composition and Adaptation
  35. Altmetric Badge
    Chapter 34 MobiDisc: Semantic Web Service Discovery Approach in Mobile Environments
  36. Altmetric Badge
    Chapter 35 Monitoring and Checking Privacy Policies of Cloud Services Based on Models
  37. Altmetric Badge
    Chapter 36 Service Map: A Service Hierarchy for Satisfying User’s Requirement of Multiple Granularities
  38. Altmetric Badge
    Chapter 37 WS-Portal an Enriched Web Services Search Engine
  39. Altmetric Badge
    Chapter 38 SUPER: Social-Based Business Process Management Framework
  40. Altmetric Badge
    Chapter 39 TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions
  41. Altmetric Badge
    Chapter 40 SmartPM: Automated Adaptation of Dynamic Processes
Attention for Chapter 39: TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter
1 X user

Readers on

mendeley
1 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
TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions
Chapter number 39
Book title
Service-Oriented Computing - ICSOC 2014 Workshops
Published in
Lecture notes in computer science, September 2015
DOI 10.1007/978-3-319-22885-3_39
Book ISBNs
978-3-31-922884-6, 978-3-31-922885-3
Authors

Bourne, Scott, Szabo, Claudia, Sheng, Quan Z., Scott Bourne, Claudia Szabo, Quan Z. Sheng

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 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 100%
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 2 200%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 07 October 2015.
All research outputs
#18,428,159
of 22,829,683 outputs
Outputs from Lecture notes in computer science
#6,013
of 8,126 outputs
Outputs of similar age
#192,630
of 267,073 outputs
Outputs of similar age from Lecture notes in computer science
#91
of 188 outputs
Altmetric has tracked 22,829,683 research outputs across all sources so far. This one is in the 11th percentile – i.e., 11% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,126 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 14th percentile – i.e., 14% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 267,073 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 15th percentile – i.e., 15% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 188 others from the same source and published within six weeks on either side of this one. This one is in the 40th percentile – i.e., 40% of its contemporaries scored the same or lower than it.