The Ada challenge for new formal semantic techniques
Proc. of the Ada-Europe international conference on Ada: managing the transition
Specification of abstract dynamic-data types: a temporal logic approach
Theoretical Computer Science - Special issue: algebraic development techniques
Theoretical Computer Science - Trees in algebra and programming
Labelled transition logic: an outline
Acta Informatica
A Calculus of Communicating Systems
A Calculus of Communicating Systems
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Graphic Notation for Formal Specifications of Dynamic Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl (Lecture Notes in Computer Science, 2900)
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)
Proceedings of the 2010 ACM Symposium on Applied Computing
Hi-index | 0.00 |
In this paper, addressing the classical problem of modelling the behaviour of a system, we present a paradigmatic journey from purely formal and textual techniques to derived visual notations, with a further attention first to code generation and finally to the incorporation into a standard notation such as the UML. We show how starting from Casl positive conditional specifications with initial semantics of labelled transition systems, we can devise a new visual paradigm, the interaction charts, which are diagrams able to express both reactive and proactive/autonomous behaviour. Then, we introduce the executable interaction charts, which are interaction charts with a special semantics, by which we try to ease the passage to code generation. Finally, we present the interaction machines, which are essentially executable interaction charts in a notation that can be easily incorporated, as an extension, into the UML.