Results 1 to 10 of about 10,065 (265)
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
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 +2 more sources
Semantic animacy constraints of the Brazilian Portuguese null object
Revista Linguística, 2022 With this paper, we aim to make some reflections on the Brazilian Portuguese null object and its semantic animacy constraints. Many synchronic and diachronic, formalist and variationist works (GALVES, 1984; DUARTE, 1989; CYRINO, 1994, SOLEDADE, 2011 ...
Gabriel Guimarães Peixoto da Silva
doaj +1 more source
Maximizing Test Coverage for Security Threats Using Optimal Test Data Generation
Applied Sciences, 2023 As time continues to advance, the need for robust security threat mitigation has become increasingly vital in software. It is a constant struggle to maximize test coverage through optimal data generation.
Talha Hussain +6 more
doaj +1 more source
Ontology-Based Transformation and Verification of UML/OCL Constraints
Sukkur IBA Journal of Computing and Mathematical Sciences, 2021 In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities.
Abdul Hafeez +3 more
doaj +1 more source
Converting OCL and CGMES Rules to SHACL in Smart Grids
IEEE Access, 2020 Models are first-class elements in Model-Driven Engineering (MDE). In this paradigm, the most widespread approaches adopted by the development community are Object-Oriented and ontological, formalized using Unified Modeling Language (UML) and Resource ...
Mohamed Larhrib +3 more
doaj +1 more source
Embedded Software Safety Analysis Based on OCL-constraint Modeling [PDF]
Jisuanji gongcheng, 2018 At present,many model-driven software safety analysis approaches have been proposed to identify the software failure modes and system hazards of the software products.However,these existing approaches do not integrate the safety constraint into the ...
CUI Hongjun,HUANG Meifeng,WU Zhenyu
doaj +1 more source
User Assistance Characteristics of the USE Model Checking Tool [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Frank Hilken, Martin Gogolla
doaj +1 more source
OCL Based Approach for Sustainable ML Model Development [PDF]
E3S Web of Conferences, 2023 It became a bottleneck for the Machine Learning (ML) researchers to select/develop a sustainable model for a particular problem. Hence, there is a need for an approach to prepare a model with all constraints of the software system.
Hanumanthu Gautam +4 more
doaj +1 more source
Verb Agreement and the Structure of the Clause in Karaja
Kansas Working Papers in Linguistics, 1997 In this paper, we discuss the subject and object agreement systems in Karaja, a Brazilian indigenous language of the Macro-Je stock, with relation to the Feature Specification Constraint (FSC) proposed by Murasugi, 94.
Maia, Marcus
doaj +1 more source