References of "Kelsen, Pierre 50002081"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailEnterprise Regulatory Compliance Modeling using CoReL: An illustrative Example
El Kharbili, Marwane UL; Ma, Qin UL; Kelsen, Pierre UL et al

in The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011 (2011)

Regulatory compliance management is a critical and challenging task, especially in the context of Business Process Management. It requires a comprehensive framework for dealing with compliance ... [more ▼]

Regulatory compliance management is a critical and challenging task, especially in the context of Business Process Management. It requires a comprehensive framework for dealing with compliance requirements: elicitation, modeling, static and dynamic checking and reporting. We previously defined CoReL, a domain specific language for the domain of compliance decision-making. This paper shows how CoReL can be used to model compliance requirements using an illustrative example. In particular, we show how CoReL agnosticism of logical formalisms and coverage of enterprise business aspects leverages the task of compliance modeling to the business user level. [less ▲]

Detailed reference viewed: 137 (1 UL)
Full Text
Peer Reviewed
See detailModels within Models: Taming Model Complexity Using the Sub-model Lattice
Kelsen, Pierre UL; Ma, Qin UL; Glodt, Christian UL

in 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (2011)

Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems they are based on, models tend to be ... [more ▼]

Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems they are based on, models tend to be complex nevertheless, thus making the task of comprehending them non-trivial in many cases. In this paper we propose a technique for model comprehension based on decomposing models into sub-models that conform to the same metamodel as the original model. The main contributions of this paper are: a mathematical description of the structure of these sub-models as a lattice, a linear-time algorithm for constructing this decomposition and finally an application of our decomposition technique to model comprehension. [less ▲]

Detailed reference viewed: 147 (15 UL)
Full Text
Peer Reviewed
See detailCoReL: Policy-Based and Model-Driven Regulatory Compliance Management
El Kharbili, Marwane UL; Ma, Qin UL; Kelsen, Pierre UL et al

in Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (2011)

Regulatory compliance management is now widely recognized as one of the main challenges still to be efficiently dealt with in information systems. In the discipline of business process management in ... [more ▼]

Regulatory compliance management is now widely recognized as one of the main challenges still to be efficiently dealt with in information systems. In the discipline of business process management in particular, compliance is considered as an important driver of the efficiency, reliability and market value of companies. It consists of ensuring that enterprise systems behave according to some guidance provided in the form of regulations. This paper gives a definition of the research problem of regulatory compliance. We show why we expect a formal policy-based and model-driven approach to provide significant advantages in allowing enterprises to flexibly manage decision-making related to regulatory compliance. For this purpose, we contribute CoReL, a domain-specific modeling language for representing compliance requirements that has a graphical concrete syntax. Informal semantics of CoReL are introduced and its use is illustrated on an example. CoReL allows to leverage business process compliance modeling and checking, enhancing it with regard to, among other dimensions, user-friendliness, genericity, and traceability. [less ▲]

Detailed reference viewed: 139 (2 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: 84 (1 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: 146 (2 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: 147 (5 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: 129 (2 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: 127 (1 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: 107 (1 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: 78 (0 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: 47 (1 UL)
Full Text
Peer Reviewed
See detailA Modular Model Composition Technique
Kelsen, Pierre UL; Ma, Qin UL

in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)

Detailed reference viewed: 125 (3 UL)
Full Text
Peer Reviewed
See detailDomain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains
Kelsen, Pierre UL; Ma, Qin UL

in 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Detailed reference viewed: 128 (1 UL)
Full Text
Peer Reviewed
See detailTowards an Alloy Formal Model for Flexible Advanced Transactional Model Development
Gallina, Barbara UL; Guelfi, Nicolas UL; Kelsen, Pierre UL

in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)

SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an ... [more ▼]

SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first step for having a full formal semantics of SPLACID by translation to Alloy. In particular, we present the translation of the SPLACID concepts into Alloy concepts focusing on those concepts pertaining to the structure of a Transactional Model and those characterizing the isolation variant. The Alloy specification obtained by this translation preserve the SPLACID main key-properties, namely, modularity, flexibility and reusability. To support this claim we show how flexible, modular and reusable structures and isolation variants can be obtained in Alloy. Finally, we analyze the flat and nested transactional model structures and the serializability-based isolation variant using the Alloy Analyzer. [less ▲]

Detailed reference viewed: 113 (1 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: 140 (5 UL)
Full Text
Peer Reviewed
See detailA Lightweight Approach for Defining the Formal Semantics of a Modeling Language
Kelsen, Pierre UL; Ma, Qin UL

in ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (2008)

To define the formal semantics of a modeling language, one normally starts from the abstract syntax and then defines the static semantics and dynamic semantics. Having a formal semantics is important for ... [more ▼]

To define the formal semantics of a modeling language, one normally starts from the abstract syntax and then defines the static semantics and dynamic semantics. Having a formal semantics is important for reasoning about the language but also for building tools for the language. In this paper we propose a novel approach for this task based on the Alloy language. With the help of a concrete example language, we contrast this approach with traditional methods based on formal languages, type checking, meta-modeling and operational semantics. Although both Alloy and traditional techniques yield a formal semantics of the language, the Alloy-based approach has two key advantages: a uniform notation, and immediate automatic analyzability using the Alloy analyzer. Together with the simplicity of Alloy, our approach offers the prospect of making formal definitions easier, hopefully paving the way for a wider adoption of formal techniques in the definition of modeling languages. [less ▲]

Detailed reference viewed: 148 (8 UL)