141 research outputs found
An ontological representation of a taxonomy for cybercrime
The modern phenomenon of cybercrime raises issues and challenges on a scale that has few precedents. A particular central concern is that of establishing clarity about the conceptualization of cybercrime and its growing economic cost to society. A further related concern is focused on developing appropriate legal and policy responses in a context where crime transcends national jurisdictions and physical boundaries. Both are predicated on a better understanding of cybercrime. Efforts at defining and classifying cybercrime by the use of taxonomies to date have largely been descriptive with resulting ambiguities. This paper contributes a semi-formal approach to the development of a taxonomy for cybercrime and offers the conceptual language and accompanying constraints with which to describe cybercrime examples. The approach uses the ontology development platform, Protégé and the Unified Modeling Language (UML) to present an initial taxonomy for cybercrime that goes beyond the descriptive accounts previously offered. The taxonomy is illustrated with examples of cybercrimes both documented in the Protégé toolset and also using UML
Goal Driven Architecture Development using LEAP
Methods for goal driven system engineering exist and propose a number of categories of goals including behavioural, formal, informal and non-functional. This article goes further than existing goal driven approaches by linking goals directly to the semantics of an architectural modelling language called LEAP with an operational semantics. The behavioural goals are expressed using a Linear Temporal Logic and the non-functional goals are expressed as functions over meta-properties of the model. The meta-properties are supported using an encoding represented using Java reflection. The article describes the LEAP approach using a simple case study written in the LEAP language supported by the LEAP toolset
Youth justice in the digital age: a case study of practitioners' perspectives on the challenges and opportunities of social technology in their Techno-Habitat in the United Kingdom
This article draws on original, empirical research that focused on the use of an experimental mobile application developed by the authors and used in the domain of youth justice in England. Against a backdrop of the theory of the paradox of technology with ideas of the networked self and child rights, the article explores the use of social technology with vulnerable/marginalised young people. Given the dearth in knowledge and understanding, in this area of social technology and young people in conflict with the law, the article focuses on an important, original and fast-developing issue in contemporary youth justice. Principally, the article explores the experiences and views of practitioners to promote a better understanding of the opportunities and challenges in the adoption of social technology in working with marginalised young people. Practitioner perceptions on the use of social technology in their own practice and its associated risks and benefits are also revealed. Study findings indicate that digital opportunities and challenges are embedded in organisational and cultural structures and practices. The article discusses implications for youth justice and ultimately for young people in conflict with the law who are caught up in the system. The article raises important issues about the likely increasing use of technology as a tool in rehabilitation and desistance; and its key messages will be of considerable interest to practitioners, managers and policy-makers who will have little option, as time goes on, to enter this controversial field
Examining the interaction between fourth estate and Twitter: an exploratory case study
The pervasiveness of social media has resulted in increased public involvement in key discussions about social issues, as well as creating greater affordances for individual expression and collective mobilisation. In December 2012, the rape and murder of a 23-year-old Indian student in New Delhi, India, was followed by widespread condemnation and public action organised and coordinated through social media (Barn 2013). In March 2015, a controversial BBC documentary, “India’s Daughter”, about the incident was broadcast despite restrictions imposed by the Indian Government. This paper explores the interplay between mainstream media (the so-called Fourth Estate) and Twitter through a case study analysis using computational techniques to analyse 250000 tweets collated following the broadcast of the documentary. In particular, we apply the theory of postcolonialism to understand the dynamics of this interaction. Issues around implications for conducting inter-disciplinary social media research are also discussed
bCMS in LEAP
This paper contains an overview of the features of the LEAP component based executable modelling language applied to the bCMS Crisis Management System Case Study. The paper aims to show the key features of the LEAP technology in terms of various aspects of the case study
Re-thinking software engineering approaches : a critical reflection on theory building.
This paper re-appraises Peter Naur's influential paper on Programming as Theory Building in the context of modern software engineering practice. The central argument is that such practice is focussed primarily on methods, notations, lifecycles and the description of artifacts such as models. Instead we propose that a theory building view is more appropriate, and that the concept of a theory should underpin a software design process which then calls for new tools and a new research agenda
LEAP: a precise lightweight framework for enterprise architecture.
This paper proposes LEAP: a simple framework for Enterprise Architecture (EA) that views an organization as an engine that executes in terms of hierarchically decomposed communicating components. The approach allows all aspects of the architecture to be precisely dened using standard modelling notations. Given that the approach is simple and precisely dened it can form the basis for a wide range of EA analysis techniques including simulation, compliance and consistency checking. The paper denes the LEAP framework and shows that it can be used to represent the key features of ArchiMate whilst containing fewer orthogonal concepts. We also show that the precision of LEAP, achieved through the use of OCL, can be used to verify both the claims made for inter-layer relationships in EA models and for extensions to ArchiMate
- …