A5083629281- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Model-Driven Software Engineering Techniques
- Distributed systems and fault tolerance
- Software Engineering Research
- Formal Methods in Verification
- Mobile Agent-Based Network Management
- Service-Oriented Architecture and Web Services
- Parallel Computing and Optimization Techniques
- Logic, Reasoning, and Knowledge
- Scientific Computing and Data Management
- Advanced Database Systems and Queries
- Peer-to-Peer Network Technologies
- Business Process Modeling and Analysis
- Distributed and Parallel Computing Systems
- Software Testing and Debugging Techniques
- Multi-Agent Systems and Negotiation
- Security and Verification in Computing
- Real-Time Systems Scheduling
- Software System Performance and Reliability
- Multimedia Communication and Technology
- Embedded Systems Design Techniques
- Access Control and Trust
- Modular Robots and Swarm Intelligence
- Semantic Web and Ontologies
University of Florence
2007-2024
University of Turin
2008-2016
Florence (Netherlands)
2000
Delta-oriented programming is a compositional approach to flexibly implementing software product lines. A line represented by code base and declaration. The consists of set delta modules specifying modifications object-oriented programs. declaration provides the connection with features. This separation increases reusability modules. In this paper, we provide foundation for type checking delta-oriented lines Java programs presenting minimal core calculus programming. equipped...
Delta-oriented programming (DOP) is a modular, yet flexible approach to implement software product lines. In DOP, line implemented by set of deltas, which are containers modifications program. A delta-oriented specified its code base, i.e., the delta modules, and declaration specifying possible variants. this paper, we present DOP for Java 1.5 extending previous proof-of-concept realizations simple core Java-like languages. The novel prototypical implementation DeltaJ provides full...
Abstract Highly distributed networks have now become a common infrastructure for wide‐area applications whose key design principle is network awareness, namely the ability to deal with dynamic changes of environment. Network‐aware computing has called new programming languages that exploit mobility paradigm as basic interaction mechanism. In this paper we present architecture K LAVA , an experimental Java package and code mobility. We describe how permits by relying on few mobile programmed...
A software product line (SPL) is a set of systems with well-defined commonalities and variabilities that are developed by managed reuse common artifacts. In this paper, we present novel approach to implement SPL fine-grained mechanisms which orthogonal class-based inheritance. We introduce the Featherweight Record-Trait Java (FRTJ) calculus where units functionality modeled traits, construct was already shown useful respect code reuse, records, complements traits model variability state part...
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about programming languages paradigms. X-KLAIM an experimental language, inspired by the Linda paradigm, where mobile their interaction strategies be naturally programmed. A prototype implementation of presented, together with few examples introducing style.
In model-driven engineering, analogously to any software development practice, metamodel design must be accurate and performed by considering relevant quality factors, including maintainability, reusability, understandability. The of metamodels might compromised the introduction smells that can result inappropriate decisions. Detecting resolving are a complex task. existing approaches deal with this problem supporting identification resolution without providing means explicitly trace them...
In Model-Driven Engineering, metamodels define the vocabulary of concepts and relations that designers use to a wide range artifacts, including models, transformations, editors. Therefore, whenever metamodel undergoes modifications, depending artifacts may no longer be valid, consistency needs repaired through coupled evolution techniques. While several approaches have been proposed over last decades, they are artifact- domain-specific do not facilitate reuse migration strategies. Indeed,...
The structure of open nets, like the Internet, is highly dynamic, as topology component networks continuously evolves. In this context, node connectivity a key aspect and language for distributed network-aware mobile applications should provide explicit mechanisms to handle it. paper, we address problem expressing dynamic changes at linguistic level and, in particular, focus on slight extension KLAIM, that targeted aim. consists introduction new category processes that, addition standard...
Xtext is a framework for the development of languages, which also generates all typical and recurrent artifacts fully-fledged IDE on top Eclipse. The validation (e.g., checking correctness programs from point view types) languages developed in has to be implemented by programmer writing Java code. In this paper we present XTypeS (Xtext TypeSystem), DSL type system an language. A definition set rules act elements AST program, represented EMF model. Then, will generate corresponding code that...
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas types are grafted on 8, by studying their properties formal setting. show play significant role several cases, particular the typecast of $\lambda$-expression typing conditional expressions. also embody interface \emph{default methods} since they increase...