Formalising a derivation strategy for formal specifications from natural language requirements models

Mauco, María Virginia; Leonard, Max; Riesco, Daniel Eduardo; Montejano, Germán Antonio; Debnath, Narayan C.

doi:10.1109/isspit.2005.1577173

Cited by 7 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Almentero et al [42] obtain software modules. Mauco et al [43] provide a set of heuristics which show how to derive types and functions, and how to structure them in a layered architecture.…”

Section: Lelmentioning

confidence: 99%

Multidimensional modeling driven from a domain language

2022

View full text Add to dashboard Cite

The multidimensional model is based on the concepts of facts (business phenomena to be analyzed), dimensions (coordinates for analyzing a fact), hierarchies (descriptions of each dimension at progressively coarser levels of aggregation), and measures (numerical attributes that quantify a fact), and it is commonly adopted for representing data to support the decision-making process. Though multidimensional modeling has been widely investigated, requirements elicitation is still an open issue mainly due to the poor knowledge end-users have of the multidimensional model on the one hand, to the lack of a domain language shared with designers on the other. In the direction of bridging this gap, this paper proposes an approach to obtain a multidimensional schema from the language of the domain captured through a Language Extended Lexicon (LEL). LELs have been introduced as structured glossaries to describe the language used in the application domain, aimed at facilitating requirements elicitation in software engineering. Methods: Our approach consists of two steps. In the first one, end-users apply a set of derivation rules to the LEL in order to obtain draft multidimensional schemata. The second step relies on Multidimensional Modeling Driven From a Domain Language the interaction of end-users and designers to review and edit these draft multidimensional schemata so as to obtain the final ones. Results: The approach is validated via an experiment made on a case study, showing that end-users who apply our rules tend to produce multidimensional schemata that are more correct than those produced by end-users who work freely. Conclusion: Our rules provide a structured context where subjectivity has a smaller impact than in the case of designing with no guidelines, thus effectively supporting the collaboration between end-users and designers.

show abstract

Section: Lelmentioning

confidence: 99%

Multidimensional modeling driven from a domain language

2022

View full text Add to dashboard Cite

show abstract

“…A tal efecto, el proceso de requisitos suele contener como parte inicial la creación de un glosario de los términos con significado específico utilizados en ese contexto [1], tal como el modelo Léxico Extendido del Lenguaje (LEL). Si bien el uso más evidente de los glosarios es el de facilitar la comunicación con los clientes, reduciendo la ambigüedad en todas las comunicaciones, ya sean estas con los clientes como con otros miembros del equipo de desarrollo, en la práctica se ha comprobado que la información contenida en esos glosarios resulta un excelente punto de partida para las restantes fases del proceso de requisitos [2,3,4,5]. El hecho que un glosario sea una fuente muy valiosa de conocimiento es una verdad ampliamente comprobada en muy diversos dominios, algunos bien remotos de la Ingeniería de Software.…”

Section: Introductionunclassified

Críticas Cognitivas a Heurísticas Orientadas a Modelos

Doorn,

Hadad,

Elizalde

et al. 2019

Anais Do Workshop Em Engenharia De Requisitos

View full text Add to dashboard Cite

Los requisitos, como piedra basal del desarrollo de sistema de software, deben ser de la mejor calidad posible, cubriendo las necesidades reales de los clientes y las limitaciones del proyecto. Alcanzar un nivel aceptable de calidad no es fácil y, a veces, no suele cumplirse. En proyectos de investigación previos, se ha evaluado exhaustivamente estos niveles de calidad en modelos escritos en lenguaje natural, principalmente en glosarios con definiciones de los términos del lenguaje empleado en el contexto de aplicación, observándose en estos casos una baja calidad y escasa repetitividad de los mismos. Esta característica es prácticamente independiente del modelo y de las fuentes de información utilizadas. A pesar de reiterados esfuerzos consistentes en la incorporación de nuevas heurísticas, las mejoras logradas resultaron poco satisfactorias. Una revisión retrospectiva de estos trabajos permitió detectar que indudablemente es la habilidad cognitiva del propio ingeniero de requisitos el origen de estos defectos. Notablemente, las heurísticas utilizadas proveen guías rudimentarias acerca de cómo elaborar la información elicitada. Esta carencia es la base del proyecto de investigación de carácter exploratorio-descriptivo que se ha iniciado y que se presenta aquí.

show abstract

“…Part-of-speech (POS) tagging algorithms are intensively exploited in a wide range of applications including syntactic and semantic parsing, speech recognition and generation, ontology construction, machine translation, text understanding, information retrieval and many others [1].…”

Section: Introductionmentioning

confidence: 99%

Accuracy of Baseline and Complex Methods Applied to Morphosyntactic Tagging of Polish

Kuta

Wrzeszcz

Chrząszcz

et al. 2008

Computational Science – ICCS 2008

View full text Add to dashboard Cite

Abstract. The paper presents baseline and complex part-of-speech taggers applied to the modified corpus of Frequency Dictionary of Contemporary Polish. Accuracy of 5 baseline part-of-speech taggers is reported. On the base of these results complex methods are worked out. Thematic split and attribute split methods are proposed and evaluated. Tagging accuracy of voting methods is evaluated finally. The most accurate baseline taggers are SVMTool (for a simple tagset) and fnTBL (for a complex tagset). Voting method called Total Precision achieves the top accuracy among all looked over methods.

show abstract

Formalising a derivation strategy for formal specifications from natural language requirements models

Cited by 7 publications

References 10 publications

Multidimensional modeling driven from a domain language

Multidimensional modeling driven from a domain language

Críticas Cognitivas a Heurísticas Orientadas a Modelos

Accuracy of Baseline and Complex Methods Applied to Morphosyntactic Tagging of Polish

Contact Info

Product

Resources

About