id: 02243210
dt: j
an: 02243210
au: Margaria, Tiziana; Steffen, Bernhard
ti: Lightweight coarse-grained coordination: a scalable system-level approach.
so: Int. J. Softw. Tools Technol. Transf. 5, No. 2-3, 107-123 (2003).
py: 2003
pu: Springer-Verlag, Berlin
la: EN
cc: 
ut: coordination; system-level modelling; formal methods; coarse-grained
    modelling; testing
ci: 
li: doi:10.1007/s10009-003-0119-4
ab: Summary: Our solution to the problem of modelling functionally complex
    communication systems at the application level, based on lightweight
    coordination, is extended to seamlessly capture system-level testing as
    well. This extension could be realized simply by self-application: the
    bulk of the work for integrating system-level testing into our
    development environment, the ABC, concerned domain modelling, which can
    be done using the ABC. Therefore, the extension of the ABC to cover
    system-level testing was merely an application development on the basis
    of the ABC, illustrated here in the domain of Computer Telephony
    Integration. Here the adoption of a coarse-grained approach to test
    design, which is central to the scalability of the overall testing
    environment, is the enabling aspect for system-level test automation.
    Together with our lightweight coordination approach this induces an
    understandable modelling paradigm of system-wide test cases that is
    adequate for the needs and requirements of industrial test engineers.
    In particular, it enables test engineers to graphically design complex
    test cases that, in addition, can even be automatically checked for
    their intended purposes via model checking.
rv: