References of "Amalio, Nuno 40020599"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailRelaxing Behavioural Inheritance
Amalio, Nuno UL

in Electronic Proceedings in Theoretical Computer Science [=EPTCS] (2013), 115

Object-oriented (OO) inheritance allows the definition of families of classes in a hierarchical way. In behavioural inheritance, a strong version, it should be possible to substitute an object of a ... [more ▼]

Object-oriented (OO) inheritance allows the definition of families of classes in a hierarchical way. In behavioural inheritance, a strong version, it should be possible to substitute an object of a subclass for an object of its superclass without any observable effect on the system. Behavioural inheritance is related to formal refinement, but, as observed in the literature, the refinement constraints are too restrictive, ruling out many useful OO subclassings. This paper studies behavioural inheritance in the context of ZOO, an object-oriented style for Z. To overcome refinement's restrictions, this paper proposes relaxations to the behavioural inheritance refinement rules. The work is presented for Z, but the results are applicable to any OO language that supports design-by-contract. [less ▲]

Detailed reference viewed: 43 (2 UL)
Full Text
See detailAssessing Composition in Modeling Approaches
Mussbacher, Gunter; Amalio, Nuno UL

in Proceedings of the CMA 2012 Workshop (2012, December)

Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to low level design models ... [more ▼]

Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to low level design models, are developed for various purposes, use various means of composition, and thus are difficult to compare. However, such comparisons are critical to help practitioners know under which conditions approaches are most applicable, and how they might be successfully generalized and combined to achieve end-to-end methods. This paper reports on work done at the 2nd International Comparing Modeling Approaches (CMA) workshop towards the goal of identifying potential comprehensive modeling methodologies with a particular emphasis on composition: (i) an improved set of comparison criteria; (ii) 19 assessments of modeling approaches based on the comparison criteria and a common, focused case study. [less ▲]

Detailed reference viewed: 50 (0 UL)
Full Text
Peer Reviewed
See detailModelling a cardiac pacemaker visually and formally
Leemans, Jerome; Amalio, Nuno UL

in VLHCC 2012 (2012)

Embedded software in medical devices is becoming ubiquitous and increasing in content and complexity. This paper gives an outline of a visual model of a cardiac pacemaker system, a case study from the ... [more ▼]

Embedded software in medical devices is becoming ubiquitous and increasing in content and complexity. This paper gives an outline of a visual model of a cardiac pacemaker system, a case study from the grand challenge in software verification. The model is expressed in the Visual Contract Language (VCL), a formal modelling language that describes predicates visually. From VCL diagrams it is possible to generate Z specifications. This is the first visual and formal model of one of the software verification challenges. [less ▲]

Detailed reference viewed: 53 (0 UL)
Full Text
Peer Reviewed
See detailSuitability of visual modelling languages for modelling tangible user interface applications
Tobias, Eric; Ras, Eric; Amalio, Nuno UL

in Visual Languages and Human-Centric Computing (VL/HCC) (2012)

This paper compares the suitability of visual modelling languages for describing tangible user interface (TUI) applications. After gathering different approaches, we have selected three languages for our ... [more ▼]

This paper compares the suitability of visual modelling languages for describing tangible user interface (TUI) applications. After gathering different approaches, we have selected three languages for our comparative study: the visual object constraint language (VOCL), augmented constraint diagrams (ACD), and the visual contract language (VCL). A weighted evaluation based on multiple quality criteria led to the conclusion that VCL is best suited to model TUI applications [less ▲]

Detailed reference viewed: 115 (0 UL)
Full Text
See detailThe Type System of VCL
Amalio, Nuno UL

Report (2012)

Detailed reference viewed: 29 (8 UL)
Full Text
Peer Reviewed
See detailBuilding VCL Models and Automatically Generating Z Specifications from Them
Amalio, Nuno UL; Glodt, Christian UL; Kelsen, Pierre UL

in Formal Methods - 17th International Symposium on Formal Methods (2011)

VCL is a visual and formal language for abstract specification of software systems. Its novelty lies in its capacity to describe predicates visually. This paper presents work-in-progress on a tool for VCL ... [more ▼]

VCL is a visual and formal language for abstract specification of software systems. Its novelty lies in its capacity to describe predicates visually. This paper presents work-in-progress on a tool for VCL; the tool version presented here supports the VCL notations of structural and assertion diagrams (a subset of the whole VCL suite), enabling the generation of Z specifications from them. [less ▲]

Detailed reference viewed: 63 (2 UL)
Full Text
See detailThe Type System of VCL Structural and Assertion Diagrams
Amalio, Nuno UL

Report (2011)

Detailed reference viewed: 23 (6 UL)
Full Text
Peer Reviewed
See detailAspect-Oriented Model Development at Different Levels of Abstraction
Alferez, Mauricio; Amalio, Nuno UL; Ciraci, Selim et al

in Modelling Foundations and Applications - 7th European Conference, ECMFA 2011 (2011)

The last decade has seen the development of diverse aspect-oriented modeling (AOM) approaches. This paper presents eight different AOM approaches that produce models at different level of abstraction. The ... [more ▼]

The last decade has seen the development of diverse aspect-oriented modeling (AOM) approaches. This paper presents eight different AOM approaches that produce models at different level of abstraction. The approaches are different with respect to the phases of the development lifecycle they target, and the support they provide for model composition and verification. The approaches are illustrated by models of the same concern from a case study to enable comparing of their expressive means. Understanding common elements and differences of approaches clarifies the role of aspect-orientation in the software development process. [less ▲]

Detailed reference viewed: 68 (1 UL)
Full Text
Peer Reviewed
See detailAutomated Generation of Platform-Variant Applications from Platform-Independent Models via Templates
Amalio, Nuno UL; Glodt, Christian UL; Pinto, Frederico et al

in Electronic Notes in Theoretical Computer Science (2011), 279(3), 3-25

Model-driven development raises the level of abstraction so that software engineers can focus on design rather than implementation and platform-specific details. This paper presents a model-centric ... [more ▼]

Model-driven development raises the level of abstraction so that software engineers can focus on design rather than implementation and platform-specific details. This paper presents a model-centric approach to MDD, where platform code is generated from a platform-independent model describing platform-variant families of products. The generation is done via templates; the variation point lies in the alternative execution platforms. Our approach is based on EP, a formal executable modelling language, supplemented with OCL, and FTL, a formal language of templates. The paper illustrates the approach by generating applications from the same abstract model that run on both Googleâ Android and Apple iPhone mobile platforms. The paper contribution are: (a) it realises the MDD approach using formal languages, in particular the use of a formal language of templates and (b) it illustrates the approach by generating code for two distinct platforms. [less ▲]

Detailed reference viewed: 56 (1 UL)
Full Text
Peer Reviewed
See detailSpecifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL
Amalio, Nuno UL; Kelsen, Pierre UL; Ma, Qin UL

in 15th International Conference, EMMSAD 2010 (2010)

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a ... [more ▼]

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a new language, VCL, designed to be visual, formal and modular, targeting abstract specification at level of requirements, and that aims at expressing visually what is not visually expressible using mainstream visual languages, such as UML. This paper presents and illustrates VCL's approach to structural modelling based on the VCL notations of structural and constraint diagrams with a case study. VCL's contributions lie in its modularity mechanisms, and the support for two alternative styles of visual constraint modelling (one closer to set theory expressions and based on Euler diagrams, the other closer to predicate calculus and based on object graphs). [less ▲]

Detailed reference viewed: 57 (1 UL)
Full Text
Peer Reviewed
See detailVisual behavioral modelling with contracts
Amalio, Nuno UL; Kelsen, Pierre UL

Scientific Conference (2010)

This paper presents the Visual Contract Language (VCL). VCL is a new visual language for abstract software specification at level of requirements. It is designed to be visual, formal and modular, and aims ... [more ▼]

This paper presents the Visual Contract Language (VCL). VCL is a new visual language for abstract software specification at level of requirements. It is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. VCL takes an approach to behavioral modelling based on design by contract that emphasises modularity. [less ▲]

Detailed reference viewed: 27 (1 UL)
Full Text
Peer Reviewed
See detailSpecifying structural properties and their constraints formally, visually and modularly using VCL
Amalio, Nuno UL; Kelsen, Pierre UL; Ma, Qin UL

in EMMSAD 2010 (2010)

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a ... [more ▼]

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a new language, VCL, designed to be visual, formal and modular, targeting abstract specification at level of requirements, and that aims at expressing visually what is not visually expressible using mainstream visual languages, such as UML. This paper presents and illustrates VCL's approach to structural modelling based on the VCL notations of structural and constraint diagrams with a case study. VCL's contributions lie in its modularity mechanisms, and the support for two alternative styles of visual constraint modelling (one closer to set theory expressions and based on Euler diagrams, the other closer to predicate calculus and based on object graphs). [less ▲]

Detailed reference viewed: 61 (2 UL)
Full Text
Peer Reviewed
See detailVCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
Amalio, Nuno UL; Kelsen, Pierre UL

in Diagrams 2010 (2010)

This paper overviews design of VCL, a new visual language for abstract specification of software systems at level of requirements. VCL is designed to be visual, formal and modular, and aims at expressing ... [more ▼]

This paper overviews design of VCL, a new visual language for abstract specification of software systems at level of requirements. VCL is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. Novelty of VCL design lies in its emphasis on modularity. [less ▲]

Detailed reference viewed: 40 (0 UL)
Full Text
Peer Reviewed
See detailModular Design by Contract Visually and Formally using VCL
Amalio, Nuno UL; Kelsen, Pierre UL

in Visual Languages and Human-Centric Computing (VL/HCC) (2010)

Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and complexity in visual ... [more ▼]

Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and complexity in visual descriptions of software systems. It proposes a new language, VCL, that is designed to be visual, formal and modular, and that targets abstract specification at the level of requirements. VCL aims at expressing visually structural and behavioural properties of software systems. This paper presents design of VCL, outlining syntax and semantics of VCL notations of structural, behavioural, constraint, and contract diagrams, together with VCL's approach to behavioural modelling based on design by contract. VCL's novelty lies in the fact that contracts are modular units. [less ▲]

Detailed reference viewed: 52 (1 UL)
Full Text
Peer Reviewed
See detailUsing VCL as an Aspect-Oriented Approach to Requirements Modelling
Amalio, Nuno UL; Kelsen, Pierre UL; Ma, Qin UL et al

in Transactions on Aspect-Oriented Software Development (2010), 7

Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of ... [more ▼]

Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of scalability, complexity and evolution in software systems development. Aspect-oriented modelling (AOM) applies aspect-orientation to the construction of models. Most existing AOM approaches are designed without a formal semantics, and use multi-view partial descriptions of behaviour. This paper presents an AOM approach based on the Visual Contract Language (VCL): a visual language for abstract and precise modelling, designed with a formal semantics, and comprising a novel approach to visual behavioural modelling based on design by contract where behavioural descriptions are total. By applying VCL to a large case study of a car-crash crisis management system, the paper demonstrates how modularity of VCL's constructs, at different levels of granularity, help to tackle complexity. In particular, it shows how VCL's package construct and its associated composition mechanisms are key in supporting separation of concerns, coarse-grained problem decomposition and aspect-orientation. The case study's modelling solution has a clear and well-defined modular structure; the backbone of this structure is a collection of packages encapsulating local solutions to concerns. [less ▲]

Detailed reference viewed: 79 (3 UL)
Full Text
Peer Reviewed
See detailSuspicion-driven formal analysis of security requirements
Amalio, Nuno UL

in SECURWARE 2009 (2009)

Increasingly, engineers need to approach security and software engineering in a unified way. This paper presents an approach to the formal analysis of security requirements that is based on planning and ... [more ▼]

Increasingly, engineers need to approach security and software engineering in a unified way. This paper presents an approach to the formal analysis of security requirements that is based on planning and uses the concept of suspicion to guide the search for threats and security vulnerabilities in requirements. The approach is tested and illustrated by conducting two experiments: one focussing on a system with a confidentiality security property, and another with an integrity security property enforced through the separation of duty principle. The paper shows that suspicion plays an important role in finding vulnerabilities and security threats in requirements. [less ▲]

Detailed reference viewed: 39 (0 UL)
Full Text
Peer Reviewed
See detailFrom Platform-Independent to Platform-Specific Models using Democles
Glodt, Christian UL; Kelsen, Pierre UL; Amalio, Nuno UL et al

in International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2009)

Detailed reference viewed: 66 (2 UL)
Full Text
Peer Reviewed
See detailAnalysing Security requirements formally and flexibly based on suspicion
Amalio, Nuno UL

in International Journal on Advances in Security (2009), 2(4), 344-357

Detailed reference viewed: 43 (0 UL)