Natural Language specifications in software modelling, SBVR standard, Models transformation based MDA
Enhancement of natural language processing approach for automated generation of object constraint language
... the software development style from code-oriented to model-oriented (Kardoš and Drozdová, ...of MDA is to describe each artifact as a model and to transform the models to each other (Jilani et ...
43
Transforming BPMN 2.0 Business Process Model into SBVR Business Vocabulary and Rules
... rules models that enable the possibility to avoid misunderstandings and inconsis- tencies between business stakeholders and IS devel- opers that can end with implementation errors, with a poor performance of ...
12
Extracting Business Vocabularies from Business Process Models: SBVR and BPMN Standards-based Approach
... from SBVR-based BV&BR to business process models in BPMN have been the subject of work by Raj et ...of SBVR does not get fully ...from natural language specifications ...
22
A graphically based language for constructing, executing and analysing models of software systems
... of software fit together has been the subject of considerable effort and systems and schemes exist which address these issues (COM, EJB, RMI, MSMQ…) [1, 4, 9, 18, 19, 23, 25, 27, ...
7
A Graphically based language for constructing, executing and analysing models of software systems
... the software we use today is better than what we have been accustomed to in the past, it would be hard to claim that software has progressed as fast as the hardware on which it ...the software most ...
271
SBVR Based Natural Language Interface to Ontologies
... The mandatory requirement of NLI is portability. Portable NLI can be adapted for questioning different ontologies. The process of adaptation is called config- uration. It includes creating the lexicon and mapping NL ...
20
Segmentation Standard for Chinese Natural Language Processing
... can meaningfully stand by their own,' they should be the most natural units for seg- mentation in language processing as well. However, as Chao (1968) observes, socio- logical words and linguistic words ...
16
Checking of models built using a graphically based formal modelling language
... connect software components does not ensure that the resultant system will do what we want or ...expect. Software systems can be highly complex and have complex interactions with each ...connect ...
10
IMPLEMENTATION IN DECISION SUPPORT SYSTEM OF ONTOLOGICAL APPROACH TO EXTRACTION OF DATA ABOUT INFORMATION OBJECTS FROM NEWS FLOW
... or software, one of the most important things to do besides coding is ...the software analyst gathers all requirements about the system that will be ...to software analyst for the development of a ...
11
Obtaining E R diagrams semi automatically from natural language specifications
... Future research aims to develop the techniques so that a wider range of sentences and more structured ob- jects, like tables, can be handled by the NL process- ing phase. This should enable a broader evaluation of the ...
6
From English to formal specifications
... is also interpreted as a preposition. The parser produces 32 different syntax trees and each syntax tree results in a logical form. The same scenario occurs in the second sentence where the presence of three ...
247
Modeling the open source software development processes using IDEF3 standard
... Apart from that, only partially or fairly accurate description of software development will be in some way realized by any of the software production web. Moreover when a planned task chain is insufficient ...
40
Prediction and Optimization of System Quality and Risks on the Base of Modelling Processes
... of modelling results has shown, that after implementation of the described measures the integrated risk to lose complex safety of flight during 5 hours of flight against terrorist threats is equal to ...is ...
28
Complexity and Scientific Modelling
... Secondly, we could decide to look for models that were less specific. This might allow us to find a model that was not significantly more complex but had a lower level of predictive error. Here we are essentially ...
8
From Natural Language Specifications to Program Input Parsers
... English specifications of input file ...relevant natural language phenomena and translate the English specification into a specification tree, which is then trans- lated into a C++ input ...is ...
10
Generating UML Diagrams from Natural Language Specifications
... RAPID system interfaces and algorithms are implemented using C#. The External components are then added to the system and checked for consistency. The inconsistent and the incompatible components are re-implemented in C# ...
5
Generating natural language specifications from UML class diagrams
... AI based approaches assume in general that an expert system could use its knowl- edge to ask users key questions, cope with the initial statement of the vague, badly organised and contradictory requirements, ...
32
NATURAL TRANSFORMATION MODELS IN MOLECULAR BIOLOGY
... It is often assumed that 'Categorification' of Quantum Field Theory, or the formal use of the Theory of Categories in Quantum Gravity and Topological Quantum Field theories (TQFTs) began in the 1990s. In fact, the ...
15
Advanced Manufacturing of an Aircraft Component (Fish-Head): A Technology Review on the Fabrication
... In the project, 3D position digitizer such as non-contact coordinate measuring machine (CMM) is used. Non-contact CMMs can significantly decrease the time required for data gathering [9]. The machine projects a line or a ...
6
Formal Specification of UML Use Case Diagram - A CASL based approach
... The deductive rules symbolically execute the Java-Card program, and thus give a clear and precise account of the language semantics. The rules could even provide educational interactive animations of the ...
5