73 search results - page 8 / 15 » Structured Axiomatic Semantics for UML Models |
JUCS
2006
13 years 6 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
SEMCO
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
SOSYM
2002
13 years 6 months ago
2002
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
EDOC
2006
IEEE
14 years 23 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
SOFTVIS
2003
ACM
13 years 12 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...