SMU Research Data Repository (RDR)
Browse
ARCHIVE
Example.zip (5.81 kB)
ARCHIVE
Tool.zip (19.32 MB)
1/0
2 files

Selamat: Binary and experiment data

Download all (19.32 MB)
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

Confidential or personally identifiable information

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

Usage metrics

    School of Computing and Information Systems

    Categories

    Keywords

    BPELFormal semanticsModeling Web servicesParameter synthesisParametric model checkingWeb service compositionSoftware Engineering

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC