Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE.
Rix GroenboomPaul DecheringEdwin D. de JongJan Tijmen UddingPublished in: HICSS (1999)
Keyphrases
- software architecture
- embedded systems
- process algebra
- software systems
- concurrent systems
- embedded software
- formal specification
- asynchronous circuits
- model checking
- distributed systems
- formal methods
- web services composition
- software engineering
- description language
- communication protocols
- software components
- low cost
- software development
- petri net
- formal languages
- design patterns
- temporal logic
- source code
- knowledge representation
- databases
- web service composition
- natural language
- web services
- machine learning
- metamodel
- autonomous agents
- programming environment
- multi agent systems
- case study