Legal programming

Abstract

57nternet and online technologies, such as automated trading platforms, shopping bots, and Web services, are seen as a stage toward a new technological paradigm, the highly dynamic system (HDS). These are evolving complex, dynamic and data-intensive systems, characterized by autonomous components (agent technologies), constant growth (pervasive and persistency data is collected, stored, and communicated), and dynamic negotiation among representations of multiple participants and stakeholders (with possibly conflicting requirements). In supply chain management systems such as those of retail chains, proto-HDS are evolving to use sensor-enhanced products, packaging, and transportation methods to automatically trigger transactions among participants (such as shelf or warehouse monitoring and repositioning) that are not personally authorized. In contrast with standard shopping, or even online shopping as provided by Peapod.com or Amazon.com, it is the automated and unconscious nature of the new HDS processes' interactions with the parties that raises increasingly challenging legal and social issues. Moreover, providing these services involves processing a large amount of personal or legally relevant data including physical position, personal profile (history of purchases, weekly or current shopping list, family details), shopping cart contents, credit card information, and contact details.Using a process modeling-based approach to address privacy and related legal issues arising in an RFID-based augmented reality shopping situation.

Towards a process for legally compliant software

“…This paper lists several techniques including the use of symbolic logic, knowledge representation using PROLOG, deontic logic using LEGOL, defeasible logic, first-order temporal logic, direct access control, markup-based representations, and goal modeling. Other related work is presented under the banner of legal programming [35]. An important work is Barth et al [2].…”

Legal aspects of web systems

“…Researchers in computer science, including software engineering and software maintenance, have explored potential legal issues related to testing [4], (binary) reverse engineering [5] [3], service sciences [6], highly dynamic systems such as supply chain management systems [7], licensing (of open source) [8], and personalization features (e.g., for e-commerce web sites) [9]. Quirchmayr and Wills address the tension between security and privacy in the EU for technologies such as RFID and ubiquitous computing [10].…”

Requirements and compliance in legal systems: a logic approach

“…Methods of implementing laws include legal programming [13]. Our proposed roadmap is similar to ones proposed by [2] [16].…”