Showing 1–4 of 4 results for author: Paige, R F

Manifesto - Model Engineering for Complex Systems

Authors: Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Doug Schmidt

Abstract: Complex systems are hard to define. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or energy infrastructure or even the whole legacy portfolio accumulated for more than thirty years in a large insurance company. There are currently few engineering methods and tools to deal with them in practice.… ▽ More Complex systems are hard to define. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or energy infrastructure or even the whole legacy portfolio accumulated for more than thirty years in a large insurance company. There are currently few engineering methods and tools to deal with them in practice. The purpose of this Dagstuhl Perspectives Workshop on Model Engineering for Complex Systems was to study the applicability of Model Driven Engineering (MDE) to the development and management of complex systems. MDE is a software engineering field based on few simple and sound principles. Its power stems from the assumption of considering everything - engineering artefacts, manipulations of artefacts, etc - as a model. Our intuition was that MDE may provide the right level of abstraction to move the study of complex systems from an informal goal to more concrete grounds. In order to provide first evidence in support of this intuition, the workshop studied different visions and different approaches to the development and management of different kinds of complex systems. This note presents the summary of the discussions. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Comments: 4 pages, 1 figures

Journal ref: Dagstuhl Seminar Proceedings. Perspectives Workshop: Model Engineering of Complex Systems (MECS) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, ISSN 1862-4405, 2008

On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

Authors: Massimiliano Zanin, David Perez, Kumardev Chatterjee, Dimitrios S. Kolovos, Richard F. Paige, Andreas Horst, Bernhard Rumpe

Abstract: This paper reports on work performed in the context of the COMPASS SESAR-JU WP-E project, on developing an approach for identifying and filtering inaccurate trajectories (ghost flights) in historical data originating from the EUROCONTROL-operated Demand Data Repository (DDR). This paper reports on work performed in the context of the COMPASS SESAR-JU WP-E project, on developing an approach for identifying and filtering inaccurate trajectories (ghost flights) in historical data originating from the EUROCONTROL-operated Demand Data Repository (DDR). △ Less

Submitted 8 September, 2014; originally announced September 2014.

Comments: 5 pages, 5 figures. D. Schaefer (ed) Proceedings of the SESAR Innovation Days (2011) EUROCONTROL, November 29 - December 1, 2011, Toulouse, France

The Value of User-Visible Internet Cryptography

Authors: Phillip J. Brooke, Richard F. Paige

Abstract: Cryptographic mechanisms are used in a wide range of applications, including email clients, web browsers, document and asset management systems, where typical users are not cryptography experts. A number of empirical studies have demonstrated that explicit, user-visible cryptographic mechanisms are not widely used by non-expert users, and as a result arguments have been made that cryptographic mec… ▽ More Cryptographic mechanisms are used in a wide range of applications, including email clients, web browsers, document and asset management systems, where typical users are not cryptography experts. A number of empirical studies have demonstrated that explicit, user-visible cryptographic mechanisms are not widely used by non-expert users, and as a result arguments have been made that cryptographic mechanisms need to be better hidden or embedded in end-user processes and tools. Other mechanisms, such as HTTPS, have cryptography built-in and only become visible to the user when a dialogue appears due to a (potential) problem. This paper surveys deployed and potential technologies in use, examines the social and legal context of broad classes of users, and from there, assesses the value and issues for those users. △ Less

Submitted 8 March, 2013; originally announced March 2013.

ACM Class: K.4.4; D.4.6

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case

Authors: Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Abstract: Epsilon is an extensible platform of integrated and task-specific languages for model management. With solutions to the 2011 TTC Hello World case, this paper demonstrates some of the key features of the Epsilon Object Language (an extension and reworking of OCL), which is at the core of Epsilon. In addition, the paper introduces several of the task-specific languages provided by Epsilon including… ▽ More Epsilon is an extensible platform of integrated and task-specific languages for model management. With solutions to the 2011 TTC Hello World case, this paper demonstrates some of the key features of the Epsilon Object Language (an extension and reworking of OCL), which is at the core of Epsilon. In addition, the paper introduces several of the task-specific languages provided by Epsilon including the Epsilon Generation Language (for model-to-text transformation), the Epsilon Validation Language (for model validation) and Epsilon Flock (for model migration). △ Less

Submitted 21 November, 2011; originally announced November 2011.

Comments: In Proceedings TTC 2011, arXiv:1111.4407

Journal ref: EPTCS 74, 2011, pp. 332-339