Results 171 to 180 of about 2,825 (206)
Some of the next articles are maybe not open access.
R-UML: An UML Profile for Verification of Flexible Control Systems
2016Unified Modeling Language (UML) is currently accepted as the standard for modeling software and control systems since it allows to highlight different aspects of the system under design. Nevertheless, UML lacks formal semantics and, hence, it is not possible to apply, directly, mathematical techniques on UML models in order to verify them. Furthermore,
Mohamed Oussama Ben Salem +3 more
openaire +1 more source
Towards a “Synchronous Reactive” UML profile?
International Journal on Software Tools for Technology Transfer, 2005The domain of Real-Time Embedded (RTE) systems was ackowledged as being largely influential on many feature additions to the recent UML2.0 standard [Bjorkander, M., FDL'03 Keynote address, 2003]. Work on UML1.4 Scheduling, Performance & Time (SPT) profile also goes in that direction.
Robert de Simone, Charles André
openaire +1 more source
Security requirement with a UML 2.0 profile
First International Conference on Availability, Reliability and Security (ARES'06), 2006Business processes are important for companies because they allow us to obtain an advanced marketplace position, and then, these enterprises can optimize and assure the quality of their products and services. Moreover, business processes are important for software developers, because they can capture from them the necessary requirements for software ...
Alfonso Rodríguez 0001 +2 more
openaire +1 more source
A UML profile for transforming GRAI Extended Actigrams into UML
IFAC Proceedings Volumes, 2008Abstract Interoperability is one of the main problems linked to the rapid evolution of Information and Communication Technologies (ICT), and to the need to set up quickly alliances among different kinds of enterprises based on cooperative information systems in order to benefit from market opportunities.
Reyes Grangel +2 more
openaire +1 more source
Visualizing design patterns with a UML profile
IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003, 2004In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tagged values are attached to a modeling element to explicitly represent the role the modeling element plays in a design pattern so that the user can identify the pattern in a ...
Jing Dong 0005, Sheng Yang 0002
openaire +1 more source
A UML Profile for Modeling Schema Mappings
2006When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important step within this process is the formulation of an integration mapping which specifies how to select, integrate and transform the data stored in the heterogeneous local ...
Stefan Kurz +2 more
openaire +1 more source
Constraints Modeling for (Profiled) UML Models
2007The growing number of UML profiles and the resulting extensive application of stereotypes, is turning themodeling process error-prone. In order to constrain their uses, OCL lacks mechanisms for effective evaluation of stereotypes and is sometimes cumbersome.
François Lagarde +3 more
openaire +1 more source
A UML Profile for Modelling Measurable Requirements
2008In the last years, the need for a sound integration of the requirements engineeringdiscipline with the model driven developmentparadigm has promoted the definition of a myriad of requirements metamodels. However, most existing proposals still lack backward (alignment with business goals) or forward (connection with validation methods such as measures ...
Jesús Pardillo +3 more
openaire +1 more source
2008
As complexity of software systems is increasing, using a proper modelling language for designing and analysing a system is becoming more and more important. Over the recent years there is a tendency for using domain-specific languages which enable expressing design solutions in the idiom and the level of abstraction of the specific problem domain ...
Petričić, Ana
openaire +2 more sources
As complexity of software systems is increasing, using a proper modelling language for designing and analysing a system is becoming more and more important. Over the recent years there is a tendency for using domain-specific languages which enable expressing design solutions in the idiom and the level of abstraction of the specific problem domain ...
Petričić, Ana
openaire +2 more sources
A UML Profile for Agent-Based Development
2003In recent years, agent-based systems have received considerable attention in both academia and industry. The agent oriented paradigm can be considered a natural extension to the object oriented (OO) paradigm. In spite of the fact that there are many OO analysis and design methods, there is very little work reported on design and analysis of agent-based
openaire +1 more source