Results 1 - 10 of 1,913

Alloy: A Lightweight Object Modelling Notation

by Daniel Jackson , 2001
"... Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by tr ..."
Abstract - Cited by 459 (17 self) - Add to MetaCart
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given

Abstract Alloy: A Lightweight Object Modelling Notation

by Daniel Jackson , 2000
"... Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by tran ..."
Abstract - Add to MetaCart
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given

Lightweight Directory Access Protocol (Version 3)", INTERNET-DRAFT

by M. Wahl, A. Coulbeck, T. Howes, S. Kille, Draft-ietf-asid-ldapv-attributes-. Txt , 1997
"... This document is an Internet-Draft. Internet-Drafts are working documents of the Internet Engineering Task Force (IETF), its areas, and its working groups. Note that other groups may also distribute working documents as Internet-Drafts. Internet-Drafts are draft documents valid for a maximum of six ..."
Abstract - Cited by 320 (34 self) - Add to MetaCart
types. This document also defines the set of attribute types which LDAP servers should support. 3. Overview Section 4 states the general requirements and notations for attribute types, object classes, syntax and matching rule definitions.

Alloy: A New Object Modelling Notation

by Daniel Jackson
"... Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine the practicality of UML's static structure notation with the rigour of Z, and to be expressive enough for most object modelling problems while remaining amenable to automatic analysis. Alloy has ..."
Abstract - Add to MetaCart
Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine the practicality of UML's static structure notation with the rigour of Z, and to be expressive enough for most object modelling problems while remaining amenable to automatic analysis. Alloy has

Alcoa: the alloy constraint analyzer

by Daniel Jackson, Ian Schechter, Ilya Shlyakhter - In Proceedings of the 22nd. International Conference on Software Engineering
"... Alcoa is a tool for analyzing object models. It has a range of uses. At one end, it can act as a support tool for object model diagrams, checking for consistency of multiplicities and generating sample snapshots. At the other end, it embodies a lightweight formal method in which subtle properties of ..."
Abstract - Cited by 140 (11 self) - Add to MetaCart
of behaviour can be investigated. Alcoa’s input language, Alloy, is a new notation based on Z. Its development was motivated by the need for a notation that is more closely tailored to object models (in the style of UML), and more amenable to automatic analysis. Like Z, Alloy supports the description

NOTATION

by Marc Budinger, Jonathan Liscouët, Jean-charles Maré, Pbw Power-by-wire
"... This paper presents estimation models for the model-based preliminary design of electro-mechanical actuators. Models are developed to generate all the parameters required by a multi-objective design, from a limited number of input parameters. This is achieved by using scaling laws in order to take a ..."
Abstract - Add to MetaCart
This paper presents estimation models for the model-based preliminary design of electro-mechanical actuators. Models are developed to generate all the parameters required by a multi-objective design, from a limited number of input parameters. This is achieved by using scaling laws in order to take

NOTATION

by Robert Mitchell, Ing-ray Chen
"... Abstract—In this paper we analyze the effect of intrusion detection and response on the reliability of a cyber physical system (CPS) comprising sensors, actuators, control units, and physical objects for controlling and protecting a physical infrastructure. We develop a probability model based on st ..."
Abstract - Add to MetaCart
Abstract—In this paper we analyze the effect of intrusion detection and response on the reliability of a cyber physical system (CPS) comprising sensors, actuators, control units, and physical objects for controlling and protecting a physical infrastructure. We develop a probability model based

A comparison of object modelling notations: Alloy, uml and z

by Daniel Jackson , 1999
"... An example of an object model is given in full in three languages: Alloy, a new notation; Z, a formal specification language; and UML, a modelling notation popular in industry. Basic features of Alloy are explained informally, and briefly justified by comparison of the Alloy version to the UML and Z ..."
Abstract - Cited by 18 (0 self) - Add to MetaCart
An example of an object model is given in full in three languages: Alloy, a new notation; Z, a formal specification language; and UML, a modelling notation popular in industry. Basic features of Alloy are explained informally, and briefly justified by comparison of the Alloy version to the UML

Reconciling the Needs of Architectural Description with Object-Modelling Notations

by David Garlan, Andrew J. Kompanek - In Proceedings of the 3 rd International Conference on the Unified Modelling Language (Models’00 , 2000
"... Abstract. Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for architecture – or architecture description language (ADL). The other is to adapt a general-purpose modeling notati ..."
Abstract - Cited by 81 (14 self) - Add to MetaCart
Abstract. Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for architecture – or architecture description language (ADL). The other is to adapt a general-purpose modeling

CHARADE: Remote Control of Objects using FreeHand Gestures

by Thomas Baudel, Michel Beaudouin-Lafon - Communications of the ACM , 1993
"... This paper presents an application that uses hand gesture input to control a computer while giving a presentation. In order to develop a prototype of this application, we have defined an interaction model, a notation for gestures, and a set of guidelines to design gestural command sets. This works a ..."
Abstract - Cited by 186 (4 self) - Add to MetaCart
This paper presents an application that uses hand gesture input to control a computer while giving a presentation. In order to develop a prototype of this application, we have defined an interaction model, a notation for gestures, and a set of guidelines to design gestural command sets. This works
Results 1 - 10 of 1,913