650 search results - page 60 / 130 » Modeling SPARK systems with UML |
FMOODS
2000
15 years 1 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
118
click to vote
SQJ
2008
14 years 11 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...
WOSP
2000
ACM
15 years 4 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
111
click to vote
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...