Sciweavers

Share
80 search results - page 1 / 16
» Checking concurrent behavior in UML OCL models
Sort
View
MODELS
2015
Springer
3 years 12 months ago
Checking concurrent behavior in UML/OCL models
Abstract—The Unified Modeling Language (UML) is a defacto standard for software development and, together with the Object Constraint Language (OCL), allows for a precise descrip...
Nils Przigoda, Christoph Hilken, Robert Wille, Jan...
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
9 years 10 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
FAC
2008
178views more  FAC 2008»
9 years 4 months ago
Modeling and validating Mondex scenarios described in UML and OCL with USE
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
Mirco Kuhlmann, Martin Gogolla
JOT
2008
142views more  JOT 2008»
9 years 4 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
DAGSTUHL
2006
9 years 5 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla
books