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 <i>Software and Systems Modeling</i> in 2020.

History

Related Materials

1.
URL - References https://sites.google.com/site/automatedsynthesis/home/
2.
URL - References https://ink.library.smu.edu.sg/sis_research/5112/
3.
DOI - Is supplement to Automated synthesis of local time requirement for service composition

Confidential or personally identifiable information

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

Usage metrics

Categories

Software engineering not elsewhere classified

Keywords

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

Licence

Exports