Development and Verification of a Microservice Architecture for a Fire Risk Notification System.
Ruben Dobler StrandLars Michael KristensenLaure PetrucciPublished in: Trans. Petri Nets Other Model. Concurr. (2023)
Keyphrases
- design considerations
- architectural design
- publish subscribe
- cross platform
- development environment
- development process
- software architecture
- model checking
- agent oriented
- software engineering
- information systems
- information processing
- open source
- design principles
- case study
- real time
- distributed multimedia
- core components
- virtual organization
- risk assessment
- decision support
- information technology
- artificial intelligence