Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective

Service-based systems are a new software mode for distributed business processes integration. It is difficult for traditional testing methods to verify the functional and nonfunctional requirements...

[1]  Bran Selic.  Accounting for platform effects in the design of real-time software using model-based methods , 2008, IBM Syst. J..

[2]  Carlo Ghezzi,et al.  Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems , 2016, IEEE Transactions on Reliability.

[3]  Marta Z. Kwiatkowska,et al.  Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..

[4]  Manuel Noguera,et al.  Ontology-based Transformation from CIM to PIM , 2016, IEEE Latin America Transactions.

[5]  Song Huang,et al.  Bidirectional transformation between BPMN and BPEL with graph grammar , 2016, Comput. Electr. Eng..

[6]  Yuyu Yin,et al.  QoS Prediction for Web Service Recommendation with Network Location-Aware Neighbor Selection , 2016, Int. J. Softw. Eng. Knowl. Eng..

[7]  Stanisa Dautovic,et al.  Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Yueshen Xu,et al.  Network Location-Aware Service Recommendation with Random Walk in Cyber-Physical Systems , 2017, Sensors.

[9]  Jin Jiang,et al.  A Hardware-in-the-Loop Simulation Platform for the Verification and Validation of Safety Control Systems , 2011, IEEE Transactions on Nuclear Science.

[10]  Carlo Ghezzi,et al.  Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time , 2016, IEEE Transactions on Software Engineering.

[11]  Shankar Kumar,et al.  Design validation of service delivery platform using modeling and simulation , 2009, IEEE Communications Magazine.

[12]  Zhaohui Wu,et al.  CloudScout: A Non-Intrusive Approach to Service Dependency Discovery , 2017, IEEE Transactions on Parallel and Distributed Systems.

[13]  Catuscia Palamidessi,et al.  Model Checking Probabilistic and Stochastic Extensions of the π-Calculus , 2009, IEEE Transactions on Software Engineering.

[14]  Honghao Gao,et al.  Predictive Web Service Monitoring using Probabilistic Model Checking , 2013 .

[15]  Honghao Gao,et al.  A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking , 2015, Int. J. Softw. Innov..

[16]  Sophia G. Petridou,et al.  Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks , 2013, IEEE Systems Journal.

[17]  Calton Pu,et al.  JTangCSB: A Cloud Service Bus for Cloud and Enterprise Application Integration , 2015, IEEE Internet Computing.

[18]  Paolo Traverso,et al.  Service-Oriented Computing: a Research Roadmap , 2008, Int. J. Cooperative Inf. Syst..

[19]  Emden R. Gansner,et al.  Graphviz and Dynagraph – Static and Dynamic Graph Drawing Tools , 2003 .

[20]  Yuyu Yin,et al.  Analysing and determining substitutability of different granularity Web services , 2013, Int. J. Comput. Math..

[21]  Wolfgang Ecker,et al.  A layered adaptive verification platform for simulation, test, and emulation , 2004, IEEE Design & Test of Computers.