Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.
Imen TounsiZied HrichiMohamed Hadj KacemAhmed Hadj KacemKhalil DriraPublished in: ICEIS (2) (2013)
Keyphrases
- design patterns
- modeling framework
- software design
- model driven
- web services
- software engineering
- metamodel
- software architecture
- service oriented
- reactive systems
- process model
- probabilistic model
- multimedia
- business process
- design principles
- software systems
- service oriented architecture
- user interface
- modeling method
- high level
- case study
- design requirements