Sciweavers

2570 search results - page 47 / 514
» Reliability Modeling Using UML
Sort
View
ENC
2005
IEEE
15 years 3 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
IEEESCC
2006
IEEE
15 years 3 months ago
Modeling Non-Functional Aspects in Service Oriented Architecture
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
JOT
2006
105views more  JOT 2006»
14 years 9 months ago
Improving the Use of Multiplicity in UML Association
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...
Hee Beng Kuan Tan, Yong Yang, Lei Bian
SIGADA
2004
Springer
15 years 3 months ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
ASM
2003
ASM
15 years 2 months ago
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
Ileana Ober