Information Technology Reference
In-Depth Information
according to [18], did not entirely meet the expectations as
schematic translations
that attempt to cover a broad class of UML models usually result in B models
that are hard to read and quite unnatural
. Because we do not aim at supporting
a broad class of UML models in MOGENTES - in fact we are interested in
supporting (partial) test models that are made from the requirements - and
since the mapping to object-oriented action systems feels very natural, we do not
suffer from the problem of 'unnatural' OOAS models. (Automatically generated
code, however, always is a pity to read.)
By giving the action systems abstract trace semantics and generating labeled
transition systems for them, we can leverage existing tools, such as the well-
known CADP toolbox: checking of model-inclusion, absence of particular prop-
erties, and test-case generation becomes the problem of invoking the right CADP
tool.
Finally, future work will concentrate on dealing with more complex models
and finishing tool support for inheritance.
References
1. OMG: OMG Unified Modeling Language (OMG UML), superstructure, Version
2.2. (2009)
2. Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized
control. Distributed Computing 3(2), 73-87 (1989); Appeared previously in 2nd
ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing (1983)
3. Back, R.J., Sere, K.: Stepwise refinement of action systems. Structured Program-
ming 12, 17-30 (1991)
4. Bonsangue, M.M., Kok, J.N., Sere, K.: An approach to object-orientation in action
systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol. 1422, pp. 68-95. Springer,
Heidelberg (1998)
5. Sekerinski, E., Sere, K.: A theory of prioritizing composition. Technical Report 5,
Turku Centre for Computer Science (1996)
6. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Inc., Englewood Cliffs
(1976)
7. Back, R.J., Sere, K.: Superposition refinement of parallel algorithms. In: Proceed-
ings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Descrip-
tion Techniques for Distributed Systems and Communication Protocols, FORTE
1991, pp. 475-493. North-Holland Publishing Co, Amsterdam (1992)
8. Fitzgerald, J., Larsen, P.G.: Modelling systems: practical tools and techniques in
software development. Cambridge University Press, New York (1998)
9. Lucas, P.: Formal semantics of programming languages: VDL. IBM J. Res.
Dev. 25(5), 549-561 (1981)
10. Butler, M., Morgan, C.: Action systems, unbounded nondeterminism, and infinite
traces. Formal Aspects of Computing 7, 37-53 (1995)
11. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Soft-
ware - Concepts and Tools 17(3), 103-120 (1996)
12. Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated conformance verification
of hybrid systems. In: QSIC (2010) (under review)
13. Aichernig, B.K., Brandl, H., Jobstl, E., Krenn, W.: Model-based mutation testing
of hybrid systems. In: Proceedings of Formal Methods for Components and Objects
FMCO 2009 (2010) (under review)
