Communicating sequential processes
Communicating sequential processes
Implicit system specification and the interface equation
The Computer Journal - Special issue: formal aspects of computing systems
Submodule construction as equation solving in CCS
Theoretical Computer Science
Mobile Networks and Applications - Special issue: protocols for mobile environments
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Solving Asynchronous Equations
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Factorization of Finite State Machines under Observational Equivalence
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Relative liveness: from intuition to automated verification
ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies
Generalizing the submodule construction techniques for extended state machine models
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
In this paper, we consider the problem of extending existing submodule construction techniques that have been developed for finite state models into more expressive and compact behavioral models that handle data through parameterized interactions, state variables and simple guards. We provide a behavioral model based on extended Input-Output Automata and describe an algorithm that provides the solution to the submodule construction problem in the context of this extended behavioral model. This algorithm is based on abstracting variable configurations using the concept of variable partitions, and splitting of states obtained from the finite state machine model in order to satisfy the constraints imposed by the values of exchanged interaction parameters.