Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Article type: Research Article
Authors: Kosiuczensko, P. | Wirsing, M.
Affiliations: Dept. of Computer Science, Ludwig-Maximilians-Universität, Munich, Germany
Abstract: This paper is a step toward an integration of a graphical and a formal method and toward building a unifying specification formalism which can support different software views: functional, data, process, and time. In particular, we study the relation of Timed Maude to Message Sequence Charts (MSC). Maude is a formal object-oriented specification language which combines algebraic specification techniques for describing complex data structures with term rewriting to deal with dynamic behav-iour. MSC is a graphical trace language for describing and specifying the communication behaviour of distributed systems by means of message interchange. We show that MSC and Timed Maude fit well together: on one hand, we expand MSC-96 with primitives like multicast, synchronous communica-tion, and multicast, which are available in Maude (these new features will probably appear in MSC-2000). On the other hand, MSC can provide high-level composition mechanisms and a graphical notation for Maude. We expand Timed Simple Maude by two composition operators for sequential and parallel composition. The first one is formalized using a construction analogous to sequencing of automata. The second one is formalized using a syntactic substitution operator derived from a pushout construction. We prove some formal properties like associativity, commutativity and a decomposition property of the second operator.
Journal: Journal of Integrated Design & Process Science, vol. 5, no. 1, pp. 23-44, 2001
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl