A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
Pascal PoizatJean-Claude RoyerPublished in: J. Univers. Comput. Sci. (2006)
Keyphrases
- description language
- transition systems
- temporal logic
- software architecture
- model checking
- model checker
- reactive systems
- concurrent systems
- formal specification
- formal methods
- planning domains
- modal logic
- specification language
- web services
- distributed systems
- software systems
- finite state
- web service composition
- general purpose
- belief revision
- software development
- relational databases