Specification of Communication Components in UML.
Eric CariouAntoine BeugnardPublished in: PDPTA (2000)
Keyphrases
- specification language
- sequence diagrams
- formal methods
- state machine
- software systems
- software components
- object oriented
- building blocks
- database design
- uml diagrams
- activity diagrams
- conceptual models
- information systems
- communication networks
- software development
- software engineering
- class diagrams
- uml models
- formal specification
- agent communication
- communication protocols
- communication overhead
- communication channels
- life cycle
- software architecture
- petri net
- database systems
- case study