scispace - formally typeset
Open AccessPosted Content

Legal Procedures as Formal Conversations: Contracting on a Performative Network

TLDR
Viewing procedures as formal conversations, this paper presents a representation schema and grammar to model these conversations and initiate the development of a formal language by which users can cooperate, negotiate, and make commitments over a performative network.
Citations
More filters
Journal ArticleDOI

A Paradigmatic Analysis Contrasting Information Systems Development Approaches and Methodologies

TL;DR: This paper analyses the fundamental philosophical assumptions of five "contrasting" information systems development (ISD) approaches: the interactionist approach, the speech act-based approach; the soft systems methodology approach,The trade unionist approach; and the professional work practice approach.

Analyzing information systems development: a comparison and analysis of eight is development

Juhani Iivari
TL;DR: In this article, the authors analyzed eight IS development approaches: Information Modelling, Decision Support Systems, Socio-Technical Approach, Infological Approach, Interactionist approach, Speech Act-based approach, Soft Systems Methodology and the Scandinavian Trade Unionist approach.
Journal ArticleDOI

Analyzing information systems development: a comparison and analysis of eight IS development approaches

TL;DR: While the objective and subjective views dominate the established traditions, only the Speech Act-based approach and Soft Systems Methodology among the emerging approaches seem to emphasize the intersubjective nature of information requirements.
Journal ArticleDOI

A semantics for speech arts

TL;DR: In this article, a formal semantics for speech acts is presented that relates their satisfaction to the intentions, know-how, and actions of the participating agents, which makes it possible to state several potentially useful constraints on communication and provides a basis for checking their consistency.
Journal ArticleDOI

Designing trustworthy interorganizational trade procedures for open electronic commerce

TL;DR: This article presents the first steps toward establishing a theory on the auditing of interorganizational trade procedures and shows how this theory could be supported using an automated tool, and it demonstrates how this analysis process is conducted automatically.
References
More filters
Book

Speech Acts: An Essay in the Philosophy of Language

TL;DR: A theory of speech acts is proposed in this article. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.
Journal ArticleDOI

Speech Acts: An Essay in the Philosophy of Language

Alice Koller, +1 more
- 01 Mar 1970 - 
TL;DR: A theory of speech acts is proposed in this paper. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.
Book

Foundations of Illocutionary Logic

TL;DR: John Searle presents the first formalised logic of a general theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutions.
Book

Temporal Logic