An integrated semantics for UML class, object and state diagrams based on graph transformation

S Kuske, M Gogolla, R Kollmann… - International conference on …, 2002 - Springer
This paper studies the semantics of a central part of the Unified Modeling Language UML. It
discusses UML class, object and state diagrams and presents a new integrated semantics …

Formal analysis of use case diagrams

R Klimek, P Szwed - Computer Science, 2010 - yadda.icm.edu.pl
Use case diagrams play an important role in modeling with UML. Careful modeling is crucial
in obtaining a correct and efficient system architecture. The paper refers to the formal …

Towards construction 4.0: A conceptual UML model for enhancing procurement and inventory management in conventional construction projects

AR Mohammed, E Abdelkhalek, H Saleh… - IEEE …, 2024 - ieeexplore.ieee.org
In construction projects, delays and budget overruns often stem from inefficient procurement
and inventory management practices. This study presents a novel UML model designed to …

Transformation of UML models for service-oriented software architectures

RJ Machado, JM Fernandes, P Monteiro… - … and Workshops on …, 2005 - ieeexplore.ieee.org
The main aim of this paper is to present how to transform user requirements models into a
software architecture for mobile applications. The technique (called" 4SRS") is essentially …

ASM-based formal design of an adaptivity component for a Cloud system

P Arcaini, RM Holom, E Riccobene - Formal Aspects of Computing, 2016 - Springer
The request of formal methods for the specification and analysis of distributed systems is
nowadays increasing, especially when considering the development of Cloud systems and …

Separating computation, coordination and configuration

L Andrade, JL Fiadeiro, J Gouveia… - Journal of software …, 2002 - Wiley Online Library
We present methodological and technological solutions for evolving large‐scale software
systems. These solutions are based on many years of research and experience in …

Scheduling multiple mobile sinks in Underwater Sensor Networks

FA Khan, SA Khan, D Turgut… - 2015 IEEE 40th …, 2015 - ieeexplore.ieee.org
Underwater Sensor Networks (UWSNs) provide valuable data for research studies and
underwater monitoring and protection. UWSNs need to overcome the handicap that high …

Architecture based evolution of software systems

LF Andrade, JL Fiadeiro - International School on Formal Methods for the …, 2003 - Springer
Although architectural concepts and techniques have been considered mainly as a means
of controlling the complexity of develo** software, we argue, and demonstrate, that they …

Web-based remote monitoring and fault diagnosis system

X Wu, J Chen, R Li, F Li - The International Journal of Advanced …, 2006 - Springer
This paper proposes an approved Web-based multilayer distributed software architecture
solution for remote monitoring and fault diagnosis. To tightly integrate legacy monitor …

An information model for lean, agile, resilient and green supply chain management

IF Cabral - 2011 - search.proquest.com
Em ambientes empresariais modernos, uma eficaz Gestão da Cadeia de Abastecimento
(SCM) é crucial para a continuidade dos negócios. Neste contexto, Lean, Agile, Resilient e …