An integrated semantics for UML class, object and state diagrams based on graph transformation
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 …
discusses UML class, object and state diagrams and presents a new integrated semantics …
Formal analysis of use case diagrams
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 …
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 …
and inventory management practices. This study presents a novel UML model designed to …
Transformation of UML models for service-oriented software architectures
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 …
software architecture for mobile applications. The technique (called" 4SRS") is essentially …
ASM-based formal design of an adaptivity component for a Cloud system
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 …
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 …
systems. These solutions are based on many years of research and experience in …
Scheduling multiple mobile sinks in Underwater Sensor Networks
Underwater Sensor Networks (UWSNs) provide valuable data for research studies and
underwater monitoring and protection. UWSNs need to overcome the handicap that high …
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 …
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 …
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 …
(SCM) é crucial para a continuidade dos negócios. Neste contexto, Lean, Agile, Resilient e …