Formal Specification of a Meta Hierarchical Logical Data Model Using Object Role Modeling

Schmaal, Robert J. L.; Balsters, Herman; Valera, Serge

doi:10.1007/978-3-642-25126-9_48

Cited by 2 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The European Space Agency (ESA) has also led to the creation of the Space Systems ontology, used to model the underlying knowledge generated during the development of space products and ease the collaboration between the agency and the industry. The ESA has also created the Object-Role Modelling [15] language to define patterns and verbalize them into requirements. However, all these approaches are based on the assumption that patterns must be first generated.…”

Section: State Of the Artmentioning

confidence: 99%

Genetic Algorithms: A Practical Approach to Generate Textual Patterns for Requirements Authoring

et al. 2021

View full text Add to dashboard Cite

The writing of accurate requirements is a critical factor in assuring the success of a project. Text patterns are knowledge artifacts that are used as templates to guide engineers in the requirements authoring process. However, generating a text pattern set for a particular domain is a time-consuming and costly activity that must be carried out by specialists. This research proposes a method of automatically generating text patterns from an initial corpus of high-quality requirements, using genetic algorithms and a separate-and-conquer strategy to create a complete set of patterns. Our results show this method can generate a valid pattern set suitable for requirements authoring, outperforming existing methods by 233%, with requirements ratio values of 2.87 matched per pattern found; as opposed to 1.23 using alternative methods.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Genetic Algorithms: A Practical Approach to Generate Textual Patterns for Requirements Authoring

et al. 2021

View full text Add to dashboard Cite

show abstract

Model Conceptualization of a Procedural Standard for Improving Interoperability

Moral¹,

Dionisi²,

Mazza³

2014

SpaceOps 2014 Conference

View full text Add to dashboard Cite

Although exchanging information is not longer a problem, due to the communication technologies available to everyone and the standard application, understanding the exchanged data still is. This paper shows the formalisation and validation process followed in the ECSS procedural standard, commonly known as PLUTO, in the ASE5 project. The main purpouse of the project is improving the understanding of the standard, through the creation of conceptual meta-data and process models, implementating them with software factories like ORM, BPM, EMF and Xtext to improve their scalability and customisation in future developments. NomenclatureAIT = Assembly, Integration and Test ASE = Automatic Schedules Execution BPEL = Business Process Execution Language BPM = Business Process Modelling BPMN = Business Process Modelling Notation E/R = Entity Relationship EBNF = Extended Backup Naur Form ECSS = European Cooperation for Space Standardization EGS-CC = European Ground-Segment Common Core EMF = Eclipse Modelling Framework ESA = European Space Agency FCP = Flying Control Procedure JMS = Java Message Service LL = Left-Linear OBCP = On board Control Procedure ORM = Object Role Modelling PLUTO = Procedure Language for Users in Test and Operations RD = Reporting Data SOA = Service Oriented Architecture VTCB = Vitrociset Belgium XSD = XML Schema Definition

show abstract

Formal Specification of a Meta Hierarchical Logical Data Model Using Object Role Modeling

Cited by 2 publications

References 6 publications

Genetic Algorithms: A Practical Approach to Generate Textual Patterns for Requirements Authoring

Genetic Algorithms: A Practical Approach to Generate Textual Patterns for Requirements Authoring

Model Conceptualization of a Procedural Standard for Improving Interoperability

Contact Info

Product

Resources

About