Removing redundant multiplicity constraints in UML class models
Models are central for the development and management of complex systems. In order to be useful along the entire...
Modeling and enforcing secure object flows in process-driven SOAs: an integrated model-driven approach
In this paper, we present an integrated model-driven approach for the specification and the enforcement of secure object flows...
Validating UML and OCL models in USE by automatic snapshot generation
We study the testing and certification of UML and OCL models as supported by the validation tool USE. We...
Towards an integrated graph-based semantics for UML
This paper shows how a central part of the Unified Modeling Language (UML) can be integrated into a single...
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines
Modeling and Analysis of Real-Time and Embedded Systems (MARTE) is a Unified Modeling Language (UML) profile, which has been...
The many meanings of UML 2 Sequence Diagrams: a survey
Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases, and many more aspects...
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an...
The concept of choreography has emerged over the past years as a foundational concept for capturing and managing collaborative...
Visual modeling of RESTful conversations with RESTalk
The cost savings introduced by Web services through code reuse and integration opportunities have motivated many businesses to develop...
OCLFO: first-order expressive OCL constraints for efficient integrity checking
OCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper,...
Toward a well-founded theory for multi-level conceptual modeling
Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances...
