Alfredo Motta

Alfredo Motta
Politecnico di Milano | Polimi

PhD Software Engineering

About

12
Publications
2,728
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
135
Citations
Introduction
Alfredo Motta worked at Politecnico di Milano doing research in Software Engineering and now works in the IT industry. Their most recent publication is 'A Logic-Based Approach for the Verification of UML Timed Models'.
Additional affiliations
January 2013 - September 2013
Politecnico di Milano
Position
  • PostDoc Position
January 2010 - January 2013
Politecnico di Milano
Position
  • PhD Student

Publications

Publications (12)
Article
Full-text available
This article presents a novel technique to formally verify models of real-time systems captured through a set of heterogeneous UML diagrams. The technique is based on the following key elements: (i) a subset of Unified Modeling Language (UML) diagrams, called Coretto UML (C-UML), which allows designers to describe the components of the system and t...
Article
Modern software systems are increasingly built by integrating different services implemented by independent organizations and offered in an open service marketplace. In such environment, multiple providers may compete with each other by publishing services that provide the same functionality, and export the same interface, but differ in the offered...
Conference Paper
Full-text available
While many software design tools exist and are in use daily, when faced with a design problem, developers will more often then not turn to the whiteboard to work on potential solutions. It has been observed that the sketches that software engineers create in this process transition from quite informal, rough sketches to sketches that reflect design...
Article
Full-text available
Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have the necessary background. To address this difficulty, a possible approach is to allow engineers to continue using familiar notations and tools,...
Article
Full-text available
UML is a well-known and widely used design notation: it offers a rich set of modeling elements, but their behavior is often not properly defined. Many proposals have tried to provide UML with a formal semantics, but they often focus on a limited number of diagram types, and thus do not provide a viable solution for the actual verification of comple...
Conference Paper
The benefits of Model Driven Development may be achieved through exploitation of its potential for automation. Automated model verification is one of the most important examples of this. The usage of automated model verification in everyday software engineering practice is far from widespread. One of the reasons for this is that model designers do...
Article
UML is a general-purpose modeling language that offers a heterogeneous set of diagrams to describe the different views of a software system. While there seems to be a general consensus on the semantics of some individual diagrams, the composite semantics of the different views is still an open problem. During my PhD I am considering a significant a...
Conference Paper
This paper presents the approach to the formal verification of UML-based models of timed systems developed in the MADES project. The approach differs from many current ones in that it aims at (i) being inclusive in the range of diagrams considered when producing the formal model, and (ii) adhering to the UML notation as much as possible. The metric...
Conference Paper
Full-text available
In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly, intuitive, modeling notation that is well-suited for the design of complex, heterogeneous, embedded systems developed by domain experts with little background on modeling software-based systems. To allow designers to precisely analyze models written with this...
Conference Paper
Modern software systems are increasingly built out of services that are developed, deployed, and operated by independent organizations, which expose them for the use by potential clients. Services may be directly invoked by clients. They may also be composed by service integrators, who in turn expose the composite artifact as a new service. We envi...
Conference Paper
Full-text available
Atherosclerosis, a pathology affecting arterial blood vessels, is one of most common diseases of the developed countries. We present studies on the increased atherosclerosis risk using an agent based model of atherogenesis that has been previously validated using clinical data. It is well known that the major risk in atherosclerosis is the persiste...
Conference Paper
Full-text available
We present an evolutionary approach to search for near-optimal solutions for the shortest path motion problem in three dimensions (between a starting and an ending point) in the presence of obstacles. The proposed genetic algorithm makes use of newly defined concepts of crossover and mutation and effective, problem optimized, methods for candidate...

Network

Cited By