Results 1 to 10 of about 293,253 (337)
Specifying Usage Control ModelWith Object Constraint Language [PDF]
EAI Endorsed Transactions on Scalable Information Systems, 2013 The recent usage control model (UCON) is a foundation for next-generation access control models with distinguishing properties of decision continuity and attribute mutability.
Min Li
doaj +3 more sources
DeepOCL: A deep neural network for Object Constraint Language generation from unrestricted nature language [PDF]
CAAI Transactions on Intelligence Technology, 2023 Object Constraint Language (OCL) is one kind of lightweight formal specification, which is widely used for software verification and validation in NASA and Object Management Group projects. Although OCL provides a simple expressive syntax, it is hard for
Yilong Yang +5 more
doaj +2 more sources
Interpreting the object constraint language [PDF]
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240), 2002 The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of the whole UML models, not ...
Hamie, Ali, Howse, John, Kent, Stuart
openaire +6 more sources
Enhancement Approachof Object Constraint Language Generation
Journal of Physics: Conference Series, 2018 OCL is the most prevalent language to document system constraints that are annotated in UML. Writing OCL specifications is not an easy task due to the complexity of the OCL syntax. Therefore, an approach to help and assist developers to write OCL specifications is needed.
Samin Salemi, Ali Selamat
openalex +2 more sources
A SWOT analysis of the object constraint language
, 2021 The Object Constraint Language (OCL) is a textual language to describe constraints or queries over software models defined by applying the Unified Modeling Language (UML). Using OCL, it is possible to specify, for instance, integrity constraints in the form of class invariants, operation pre-conditions, or post-conditions.
Jordi Cabot +5 more
openalex +3 more sources
Constraint animation using an object-oriented declarative language [PDF]
Proceedings of the 38th annual on Southeast regional conference, 2000 Prototypes can be an effective way of interacting with an end-user to validate that the user's requirements have been correctly captured. In the formal methods community, specification animation has been investigated as a way of creating a kind of prototype that is generated from a formal specification.
Jeff Gray, Stephen R. Schach
openalex +2 more sources
Meet OCL$${^\sharp }$$, a relational object constraint language [PDF]
Software and Systems ModelingAbstract At its core, OCL as currently defined is a first-order functional language: its expressions evaluate to single values, with collections accounting for multitudes of values, and special values and for partiality.
Friedrich Steimann +2 more
openalex +2 more sources
Optimizing Retrieval Augmented Generation for Object Constraint Language [PDF]
The Object Constraint Language (OCL) is essential for defining precise constraints within Model-Based Systems Engineering (MBSE). However, manually writing OCL rules is complex and time-consuming. This study explores the optimization of Retrieval-Augmented Generation (RAG) for automating OCL rule generation, focusing on the impact of different ...
K Li +4 more
openalex +3 more sources
Specifying Role-Based Access Constraints with Object Constraint Language [PDF]
, 2004 Constraints are an important aspect of role-based access control (RBAC). Constraints have to be satisfied when an administrator wants to assign (revoke) a role to a user or a permission to a role. The importance of constraints associated with user-role assignments and permission-role assignments in RBAC has been recognized but the modelling of these ...
Hua Wang +3 more
openalex +2 more sources