Case Studies for Validation of a UML/OCL Approach for Service-Oriented Applications

Submitted by martin.gogolla on Sat, 01/13/2018 - 12:57
Mu
Artifact Details
Author(s): 
Loli Burgueno, Martin Gogolla, Antonio Vallecillo
Organization(s): 
University of Malaga, University of Bremen, University of Malaga
Required Tool(s): 
USE (UML-based Specification Environment) https://sourceforge.net/projects/useocl/; YEd (yet another graph Editor) https://www.yworks.com/products/yed
Programming/Modeling Languages: 
UML OCL SOIL
Artifact Description: 

The case studies have been developed in order to explain and validate an approach for service-oriented applications. Research papers explaining the approach are available from the authors.

Revision Summary: 
No revisions submitted.
Tags
Artifact Development Contexts: 
Academia
Challenge Problem/Competition
Research Project
Artifact Types: 
Case study
Methodology/Technique/Process
Model
System/Software Domains: 
Business/Information Systems
SOA systems
Lifecycle Phases: 
Design
Validation/Verification/Analysis
Modeling Languages/Notations: 
UML
Keywords: 
UML
OCL
Service-Oriented Architecture
Service-Oriented Application
model execution
Validation
verification
Rating: 
5
Your rating: None Average: 5 (1 vote)