Towards a formal approach for the verification of SCA/BPEL software architectures.
Taoufik Sakka RouisMohamed Tahar BhiriLayth SlimanMourad KmimechPublished in: IISA (2017)
Keyphrases
- formal methods
- software architecture
- software engineering
- formal analysis
- description language
- model checking
- software systems
- formal specification
- web services
- knowledge based systems
- distributed systems
- embedded software
- artificial intelligence
- colored petri nets
- software development
- design patterns
- reference model
- modeling language
- reference architecture
- security requirements
- databases
- business process
- functional requirements
- reverse engineering
- business processes
- real world
- requirements engineering
- architectural design
- product line
- service composition