Results 81 to 90 of about 428 (125)

Enforcing component dependency in UML deployment diagram for cloud applications

7'th International Symposium on Telecommunications (IST'2014), 2014
Deployment of cloud applications relies upon the inter-dependencies between software components. Modeling languages like UML can be employed to handle the complexities of deploying cloud applications. UML devotes a special model called deployment diagram to represent the physical view of deployment.
Reza Gorgan Mohammadi, Ahmad Abdollahzadeh Barforoush   +1 more
openaire   +1 more source

Using MILOS for dependency management in UML-based SE-processes

Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001, 2002
The Unified Modeling Language (UML) plays an important role in software engineering. Several life-cycle process models that utilize the UML have been proposed, supported by a variety of development tools Usually, these provide just a little help for the management of the software project itself.
M. Schaaf, F. Bendeck, P. Nour
openaire   +1 more source

Extending UML for Space- and Time-Dependent Applications

2002
In recent years, the need for a temporal dimension in traditional spatial information systems and for high-level models useful for the conceptual design of the resulting spatiotemporal systems has become clear. Although having in common a need to manage spatial data and their changes over time, various spatiotemporal applications may manage different ...
Price, R., Tryfona, N., Jensen, Christian Søndergaard   +2 more
openaire   +2 more sources

Component-Based Development of Dependable Systems with UML

2005
Dependable systems have to be developed carefully to prevent loss of life and resources due to system failures. Some of their mechanisms (for example, providing fault-tolerance) can be complicated to design and use correctly in the system context and are thus error-prone.
Jan Jürjens, Stefan Wagner
openaire   +1 more source

Software dependability analysis and verification based on UML extensibility mechanism

2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE), 2010
To analyze software dependability in the early phases of software development, this paper firstly annotates software non-functional properties to UML models which are used to describe software functions based on UML extensibility mechanism and the relationship model between software dependability and non-functional properties. Then a method is proposed
null Juan Ma, null Hongbing Qian
openaire   +1 more source

Specification and Checking of Dependency Relations between UML Models

2011
During the object-oriented software development process, a variety of models of the system is built. All of these models are not independent; they are related to each other. Elements in one model have trace dependencies to other models; they are semantically overlapping and together represent the system as a whole.
Claudia Pons, Roxana Giandini, Gabriel Baum, Jose L. Garbi, Paula Mercado   +4 more
openaire   +1 more source

A UML Profile for Requirements Analysis of Dependable Software

2010
At Safecomp 2009, we presented a foundation for requirements analysis of dependable software. We defined a set of patterns for expressing and analyzing dependability requirements, such as confidentiality, integrity, availability, and reliability. The patterns take into account random faults as well as certain attacks and therefore support a combined ...
Hatebur, Denis, Heisel, Maritta
openaire   +1 more source

Using Dependency Relations to Improve Test Case Generation from UML Statecharts

2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, 2013
In model-based testing the size of the used model has a great impact on the time for computing test cases. In model checking, dependence relations have been used in slicing of specifications in order to obtain reduced models pertinent to criteria of interest.
Valentin Chimisliu, Franz Wotawa
openaire   +1 more source

A UML-Based Framework for Design and Analysis of Dependable Software

2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
A formal method for software development often introduces a gap between rigidity of the method and informal nature of system requirements. This paper presents a UML-based framework for design and analysis of dependable software while narrowing such a gap.
Jun Kong, Dianxiang Xu
openaire   +1 more source

Using UML to model dependencies in systems of systems

2009 Fourth International Conference on Critical Infrastructures, 2009
During the last years, mutual dependencies have been apparent in several incidents in critical infrastructures. This has lead to increased focus on the protection of critical infrastructures. One challenge in protecting critical infrastructures is to understand the impact that mutual dependencies have on the overall risk level.
openaire   +1 more source