34 search results - page 4 / 7 » Strengthening UML Collaboration Diagrams by State Transforma... |
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
ISIM
2007
13 years 9 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
JOT
2010
13 years 6 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
SQJ
2008
13 years 7 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
ASE
2006
13 years 7 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...