In this paper, we propose a formal approach to supporting safety and security engineering, in the spirit of Model-Based Safety Assessment, using the Alloy language. We first implement a system modeling framework, called Coy, allowing to model system architectures and their behavior with respect to component failures. Then we illustrate the use of Coy by defining a fire detection system example ...

Perforated discs have many applications in different parts of industry. By making such disks of functionally graded materials, more capabilities can be obtained from them. Vibration analysis of these kinds of disks can help us make them more efficient. In this paper, modeling and evaluation of disk vibration of functionally graded materials with regard to thickness were carried out using Abaqus...

This paper describes a Meta-Modeling Framework (MMF) that addresses many of the deficiencies in the definition of The unified Modeling Language (UML), and promises to support the OMG's newly announced strategy, Model Driven Architecture (MDA) [OMG01]. The facility comprises a language (MML) for defining modeling notations, a tool (MMT) that checks and executes those definitions, and a method (M...

The Bayesian network (BN) is a convenient tool for probabilistic modeling of system performance, particularly when it is of interest to update the reliability of the system or its components in light of observed information. In this paper, BN structures for modeling the performance of systems that are defined in terms of their minimum link or cut sets are investigated. Standard BN structures th...

We present an agent-oriented approach to the conceptual modeling of organizations and organizational information systems, called Agent-ObjectRelationship (AOR) modeling, where an entity is either an agent, an event, an action, a claim, a commitment, or an ordinary object, and where special relationships between agents and events, actions, claims and commitments supplement the fundamental associ...

The basic ingredients of a domain-specific modeling language (DSML) are its syntax and semantics. For defining the abstract syntax in terms of metamodels, MOF constitutes a standardized language. For specifying the behavioral semantics, however, no standardized language exists, which hampers the emergence of model execution facilities, such as debugging and simulation support. The contribution ...