Towards an approach for modeling and formalizing SOA design patterns with Event-B.
Imen TounsiMohamed Hadj KacemAhmed Hadj KacemKhalil DriraEmna MezghaniPublished in: SAC (2013)
Keyphrases
- design patterns
- software engineering
- software design
- object oriented
- software architecture
- model driven development
- software systems
- usage scenarios
- specific problems
- object oriented software
- design principles
- process model
- metamodel
- learning objects
- ontology driven
- service oriented architecture
- modeling language
- artificial intelligence
- service oriented
- event detection
- information technology
- design rationale
- web services
- real world