Suchergebnisse

The adoption of information technology in foremost sectors of human activity such as banking, healthcare, education, governance etc., increases the amount of data collected and processed to enable these services. With the convenience the technology offers, it also brings increased challenges pertaining to the privacy. In response to these emerging privacy concerns, the European Union has approved the General Data Protection Regulation (GDPR) to strengthen data protection across the European Union. This regulation requires individuals and organizations that process personal data of EU citizens or provide services in EU, to comply with the privacy requirements in the GDPR. However, the privacy policies stating how personal information will be handled to meet regulations as well as organizational objectives, are given in natural language statements. To demonstrate a program's compliance with privacy policies, a link should be established between policy statements and the program code, with the support of a formalized analysis. Based on this vision, we formalize a notion of privacy policies and a notion of compliance for the setting of object-oriented distributed systems. For this we provide explicit constructs to specify constituents of privacy policies (i.e., principal, purpose, access right) on personal data. We present a policy specification language and a formalization of privacy compliance, as well as a high-level modeling language for distributed systems extended with support for policies. We define a type and effect system for static checking of compliance of privacy policies and show soundness of this analysis based on an operational semantics. Finally, we prove a progress property.

Book review ; International audience ; Distributed System V (FMOODS) is not a book. It is a luxurious conference proceeding, edited in 2002 under the "shield" of IFIP TC6-WG6.1. FMOODS conference bring researchers from various fields: formal methods (model checking, abstract interpretation, type theory, Hoare-logic, etc.), distributed systems (CSP, pi-calculus, ambients, petri nets, actors, agents, ORB's, etc.), and "all around" object-based theory and practice. Applications in the above fields are various, crucial and pragmatic. Just to mention a few of these: hardware design, security and communication protocols, distributed-embedded-concurrent-collaborative systems, Java software verification, middleware, interoperability, computer-aided collaborative work, air traffic control, telephony features, etc. We think that the community of researchers involved in developing those applications is now mature to use formal methods (and proof assistants) to design/develops/certify "safe software" in the above "hot fields". The major cost in the design phase (it is well understood that a fairly concrete mathematical model costs more in terms of human resources than a UML chart) will benefit from a major "solidity" of the specification of the related software; in latest experiments using certain proof assistants, proofs of the soundness of the specifications can be turned directly into executable code. We are of course far from a "democratization" of such techniques (which can actually be used only by experts) but their recent use in the setting of formal certification of critical applications such as smart-card, embedded software, compilers, protocols for cryptography, Java language, etc., shows that in the near future their use might be as widespread as the use of C++ libraries, or design patterns, or object-orientation. A few drawbacks: the rate of submitted/accepted papers is not known, and only one of the three invited presentations have produced a regular paper (the others ones only gives abstracts). Moreover, ...

Book review ; International audience ; Distributed System V (FMOODS) is not a book. It is a luxurious conference proceeding, edited in 2002 under the "shield" of IFIP TC6-WG6.1. FMOODS conference bring researchers from various fields: formal methods (model checking, abstract interpretation, type theory, Hoare-logic, etc.), distributed systems (CSP, pi-calculus, ambients, petri nets, actors, agents, ORB's, etc.), and "all around" object-based theory and practice. Applications in the above fields are various, crucial and pragmatic. Just to mention a few of these: hardware design, security and communication protocols, distributed-embedded-concurrent-collaborative systems, Java software verification, middleware, interoperability, computer-aided collaborative work, air traffic control, telephony features, etc. We think that the community of researchers involved in developing those applications is now mature to use formal methods (and proof assistants) to design/develops/certify "safe software" in the above "hot fields". The major cost in the design phase (it is well understood that a fairly concrete mathematical model costs more in terms of human resources than a UML chart) will benefit from a major "solidity" of the specification of the related software; in latest experiments using certain proof assistants, proofs of the soundness of the specifications can be turned directly into executable code. We are of course far from a "democratization" of such techniques (which can actually be used only by experts) but their recent use in the setting of formal certification of critical applications such as smart-card, embedded software, compilers, protocols for cryptography, Java language, etc., shows that in the near future their use might be as widespread as the use of C++ libraries, or design patterns, or object-orientation. A few drawbacks: the rate of submitted/accepted papers is not known, and only one of the three invited presentations have produced a regular paper (the others ones only gives abstracts). Moreover, ...

Distributed War Gaming (DWG) is the interactive simulation of military systems employing their command and control (C') - systems and the data processing capabilities of their headquarters. Using land-warfare as an example, a conceptual framework for the development of DWG-systems is provided which is based on the utilization of object-oriented software systems. In contrast to traditional software, these systems invoke the transformation of data by messages between objects which specify the transformation to be performed by the addressed object. When defining the system to be modelled, the analyst needs to be concerned with the reaction of individual objects to local messages only. The dynamics of complex systems are the results of the propagation of local messages to its individual elements. Based on a brief descripton of the basic principles behind object-oriented languages, a classification of objects and their attributes in a land-wargame is discussed and a definition of object behaviors is illustrated. Eight basic types of messages for a DWG and their formats are proposed, as is an algorithm for the synchronizaton of distributed simulations in DWG. Object-oriented software systems are judged to have potential for facilitating evolution in military software development. Their use in DWG could, in the long run, alleviate the problem of model acceptability. Thus, the development of prototype DWG-systems is proposed for feasibility testing and for the development of a strategy for the evolution of operational DWG-systems. ; The research work reported herein was funded by Defense Advanced Research Projects Agency, 1400 Wilson Boulevard, Arlington, Virginia 22209, Project No. N0001484WR24187 for the Chief of Naval Research, Code 512, Arlington, VA 22217. ; http://archive.org/details/ondistributedwar00hube ; N0001484WR24187

PurposeThe purpose of this paper is to demonstrate object‐oriented (OO) features in a language, suitable for artificial intelligence (AI), which will execute in a web environment. Earlier researchers have claimed that such a possibility will pave the way for better enterprise systems of tomorrow.Design/methodology/approachIn this paper, the key OO features, inheritance and polymorphism, are presented using suitable examples. Visual Prolog™ is the language used to demonstrate the examples and the same executes in web environment.FindingsThis premise definitely matches the fundamental rethinking and radical redesign of existing systems which can aptly be called business process reengineering (BPR) in this field of study. A monolithic/homogeneous expert database design based system supporting AI and OO capabilities which executes in web environment is the result of this study.Research limitations/implicationsThere is no argument about the optimality of the search which is carried out while using this environment, which is purely based on the computer language used.Practical implicationsThe power of similar environment has enormous potential in developing better enterprise systems of tomorrow. This declarative environment helps enterprise resource planning (ERP) evolve faster towards strategic decision making rather than remaining as transaction processing systems.Originality/valueIt is hoped that this paper will inspire other researchers in the field of BPR of existing ERP systems.

The essays in this book explore OOF: a feminist intervention into recent philosophical discourses - like speculative realism, object-oriented ontology (OOO), and new materialism - that take objects, things, stuff, and matter as primary. Object-oriented feminism approaches all objects from the inside-out position of being an object too, with all of its accompanying political and ethical potentials. This volume places OOF thought in a long history of ongoing feminist work in multiple disciplines. In particular, object-oriented feminism foregrounds three significant aspects of feminist thinking in the philosophy of things: politics, engaging with histories of treating certain humans (women, people of color, and the poor) as objects; erotics, employing humor to foment unseemly entanglements between things; and ethics, refusing to make grand philosophical truth claims, instead staking a modest ethical position that arrives at being "in the right" by being "wrong." Seeking not to define object-oriented feminism but rather to enact it, the volume is interdisciplinary in approach, with contributors from a variety of fields, including sociology, anthropology, English, art, and philosophy. Topics are frequently provocative, engaging a wide range of theorists from Heidegger and Levinas to Irigaray and Haraway, and an intriguing diverse array of objects, including the female body as fetish object in Lolita subculture; birds made queer by endocrine disruptors; and truth claims arising in material relations in Indigenous fiction and film. Intentionally, each essay can be seen as an "object" in relation to others in this collection

The aim of the book is to represent a new object-oriented methodology called Tabular Application Development (TAD). The book is designed to approach the subject of Business Process Reengineering and Information Systems Development from a new prospective, which is unique to this methodology. TAD methodology has six phases and develops the information system using several tables. The concept of the methodology discussed first translates the information about the behavior of the system into different tables and then uses the information collected in the tables to develop the information system. In addition to this, the methodology covers Business Process Reengineering. In recent years BPR became a very important way of assuring changes in an organization's structure and functioning to create a better, more competitive and successful enterprise. The book is organized in three parts: introduction, methodology, and applications/case studies

For current computing frameworks, the ability to dynamically use the resources that are allocated in the network has become a key success factor. As long as the size of the network increases, it is more difficult to find how to solve the problems that the users are presenting. Users usually do know what they want to do, but they do not know how to do it. If the user knows its goals it could be easier to help him with a different approach. In this work we present a new computing paradigm based on goals. This paradigm is called Distributed goal-oriented computing paradigm. To implement this paradigm an execution framework for a goal-oriented operating system has been designed. In this paradigm users express their goals and the OS is in charge of helping the achievement of these goals by means of a service-oriented approach. © 2012 Elsevier Inc. All rights reserved. ; This work is supported by TIN2008-04446 and TIN2009-13839-C03-01 projects of the Spanish Government, PROMETEO/2008/051 project, FEDER funds and CONSOLIDER-INGENIO 2010 under grant CSD2007-00022. ; Palanca Cámara, J.; Navarro Llácer, M.; Julian Inglada, VJ.; García-Fornes, A. (2012). Distributed goal-oriented computing. Journal of Systems and Software. 85(7):1540-1557. https://doi.org/10.1016/j.jss.2012.01.045 ; S ; 1540 ; 1557 ; 85 ; 7

Assemblage and actor-network theories explain how markets and consumption are constituted by heterogeneous resources that form part-whole relations at various scales. Marketing and consumer research studies that use these theories, however, often retain human-centred scales and units of analysis, such that objects and forces that exist at unfamiliar (time)scales are overlooked. This paper explains how Object-Oriented Ontology can help to guide ontological, methodological, and analytical considerations in studies of market and consumption assemblages. We offer a framework that helps researchers to consider how far researchers should unpack assemblages into component parts; to what extent studies should trace objects' effects as part of wider contexts; how 'objects' may harbour qualities that are withdrawn from social contexts; and how these hidden features can be encountered through speculative methods. Finally, we critically discuss the place of objects and subjects in socio-material research.