Results 1 to 10 of about 294,479 (334)
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
Interpreting the Object Constraint Language [PDF]
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240), 1998 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.
Hamie, Ali, Howse, John, Kent, Stuart
core +5 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
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
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
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
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
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
Constraint-driven programming in strongly-typed object-oriented languages
Computer Languages, 1993 Abstract Strongly-typed object-oriented languages are well suited for software engineering. In this paper the difficulty of implementing specification of overall properties of an object in such languages is addressed and solved by introducing constraint-driven reevaluation into strongly-typed object-oriented programming.
Stephen S. Yau, Jacob Gore
openalex +3 more sources