pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems.
Christelle ChaudetFlávio OquendoPublished in: ASE (2000)
Keyphrases
- description language
- software architecture
- software systems
- process algebra
- formal specification
- formal methods
- software engineering
- software components
- web service composition
- web services composition
- description languages
- source code
- specification language
- software development
- concurrent systems
- metamodel
- distributed systems
- model checking
- search space
- asynchronous circuits
- dynamic reconfiguration
- reverse engineering
- communication protocols
- databases
- design patterns
- web services
- formal languages
- multi agent systems