Sciweavers

31 search results - page 4 / 4
» Transforming Models with ATL
Sort
View
85 views 114 votes 15 years 5 months ago  UML 2001»
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
127 views 110 votes 15 years 6 months ago  UML 2005»
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
126 views 94 votes 15 years 6 months ago  UML 2005»
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
98 views 107 votes 15 years 6 months ago  UML 2004»
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
111 views 132 votes 15 years 5 months ago  UML 1998»
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
160 views 123 votes 15 years 5 months ago  UML 2001»
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
221 views 113 votes 15 years 5 months ago  UML 2000»
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
122 views 88 votes 15 years 6 months ago  UML 2005»
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
177 views 115 votes 15 years 6 months ago  UML 2005»
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
193 views 141 votes 15 years 6 months ago  UML 2005»
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...