Selamat: Binary and experiment data

dataset

posted on 2021-12-23, 09:59 authored by Tian Huat Tan, Étienne André, Manman Chen, Jun SUNJun SUN, Yang Liu, Jin Song Dong

This is a tool developed based on the paper "Automated synthesis of local time requirement for service composition" published in Software and Systems Modeling in 2020.

History

References

Confidential or personally identifiable information

I confirm that the uploaded data has no confidential or personally identifiable information.

Usage metrics

Read the peer-reviewed publication

Automated synthesis of local time requirement for service composition

School of Computing and Information Systems

Keywords

BPEL Formal semantics Modeling Web services Parameter synthesis Parametric model checking Web service composition Software Engineering

Licence

In Copyright