Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Handbook of theoretical computer science (vol. B)
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Relating architecture and specification
Computer Networks and ISDN Systems - Special issue: specification architecture
Agendas—a concept to guide software development activities
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
The Java Language Specification
The Java Language Specification
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
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Implementation and Behavioural Equivalence: A Survey
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Using LOTOS Patterns to Characterize Architectural Styles
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
An Overview of LP, The Larch Power
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
Methods are needed to help using formal specifications in a practical way. We herein present a method for the development of mixed systems, i.e. systems with both a static and a dynamic part. Our method helps the specifier providing means to structure the system in terms of communicating subcomponents and to give the sequential components using a semi-automatic concurrent automata generation with associated algebraic data types. These components and the whole system may be verified using common set of tools for transition systems or algebraic specifications. Furthermore, our method is equipped with object oriented code generation in Java, to be used for prototyping concerns. In this paper, we present our method on a small example: a transit node component in a communication network.