Amanote Research
Register
Sign In
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
doi 10.5220/0004453302940301
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications
Related search
An Approach for Modeling and Formalizing SOA Design Patterns
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Guidelines for Formal Domain Modeling in Event-B
Modeling Control Flow of Event-B Using State Transition System
Modeling Patterns in Count Data Using Loglinear and Related Models
Design of Information Integration Architecture Using SOA
International Journal of Computer Applications
Prm132 - Modeling Multiple Cardiovascular Event History Using Nested Partitioned Survival Models
Value in Health
Medicine
Health Policy
Public Health
Occupational Health
Environmental
Exploring SOA Pattern Performance Using Coupled Transformations and Performance Models
Studying the Performance Impact of SOA Design Patterns via Coupled Model Transformations
