Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Modelling and Analysis are crucial steps in the development of software systems, and become almost mandatory when the system to be developed features concurrency and distribution. Maude is a meta-programming language to specify and model a wide range of systems, both from the syntactical and from the semantical viewpoint. Maude is based on Rewriting Logic, a logic of concurrent change and action. Hence, Maude represents a suitable tool to express the dynamics of concurrent and distributed systems and to cope with issues related to nondeterminism. Maude is also used to specify both the syntax and the operational semantics of programming languages. This seminar explores the basic features of the Maude language, providing some examples of how it can be used (i) to model and analyse concurrent and distributed systems; (ii) to express the operational semantic of programming languages; (iii) to realise different models of computation.
