An Ontology for ISO software engineering standards: 2) Proof of concept and application

González-Pérez, César; Henderson‐Sellers, Brian; McBride, Tom; Low, Graham; Larrucea, Xabier

doi:10.1016/j.csi.2016.04.007

Cited by 28 publications

(21 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…However, different metamodels and standards use them differently in terms of thier granularity, formality and abstraction. These form the tangible internal structure of the process and are important in developing a process model of such processes [17,[30][31][32].…”

Section: Axiom Metamodel Designmentioning

confidence: 99%

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach

Kabaale

Wen

Wang

et al. 2017

Communications in Computer and Information Science

View full text Add to dashboard Cite

Software development usually follows well known process models and standards for development processes. However, these are usually diverse and described in natural language which complicates their automation, adaptivity and verification. The need for process formalisation has long been highlighted, and we have provided a formalisation and translation algorithm to that effect in earlier work. However, to systematically and faithfully formalise heterogeneous processes from different standards and process models, there is a need to utilise uniform concepts to underpin the formalisation process. Metamodels and ontologies have been explored recently to lay a foundation for structuring and expressing additional rigour to process formalisation. In this study, we develop an axiom based metamodel utilising powertype patterns as a conceptual framework to underpin homogeneous process formalisation. The advantage of an axiomatic and powertype based metamodel approach lies in its potential to determine the metamodel basic constituents and formalism as well as its extensibility and adaptability. We formalise the metamodel using ontologies while adopting use cases from ISO/IEC 29110 and ISO/IEC 24744 standards for metamodel illustrations. Ontology based process descriptions enable process automated verification and adaptivity capability through the use of ontology reasoning support engines.

show abstract

Section: Axiom Metamodel Designmentioning

confidence: 99%

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach

Kabaale

Wen

Wang

et al. 2017

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…En [19] se puede encontrar un análisis exhaustivo de la derivación formal de los mejores patrones para implantar cada componente. Hasta donde alcanza nuestro conocimiento esto representa una novedad importante en el diseño e implantación de sistemas de videovigilancia encaminados en la línea de sistematizar y estandarizar la parte de diseño software de servicios telemáticos, y va en la línea recomendada en [22] [23]. Como ejemplo, en la Fig.…”

Section: Sistema De Videovigilancia Que Mitiga Las Interrupcioneunclassified

Mitigando Efectos Adversos de Interrupciones del Servicio de Video-vigilancia del Hogar en Clientes WiFi inalámbricos

Gualotuña

Macías

Suárez

et al. 2017

Proceedings XIII Jornadas De Ingenieria Telematica - JITEL2017

View full text Add to dashboard Cite

Resumen-Actualmente los sistemas de videovigilancia en el Hogar se pueden combinar con sensores para formar un sistema de muy bajo coste y fácil manejo por parte del usuario final. Un componente importante en este sistema es el servidor de video streaming en tiempo real a clientes Web que usan Wireless Fidelity. El servidor se puede instalar en open hardware como el Raspberry Pi y se puede ayudar de sensores arduino para detectar alarmas de intrusión o condiciones domóticas adversas en el Hogar. Sin embargo, el Wireless Fidelity tiene conocidos problemas que provoca interrupciones esporádicas e impredecibles del servicio de video y de poca duración que disparan la pérdida de frames de video clave para observar el estado del Hogar en un momento dado, mientras el cliente se mueve (después de recibir una alarma). Mitigar los efectos adversos de estas interrupciones es una tarea complicada que hemos trabajado durante años. La novedad es que ahora construimos un sistema de open hardware embebida y de bajo coste (con utilidad práctica a los ciudadanos), y software libre íntegramente basado en servicios Web que es interoperable y basado en ontologías (para incluir decisiones sofisticadas, smart, de reconectar el servicio interrumpido). El elevado valor de parámetros de calidad de experiencia de usuario avalan los buenos resultados alcanzados.Palabras Clave-Video-vigilancia, WiFi, Streaming, patrón de diseño software, RapBerry Pi, arduino.

show abstract

“…Для описания предметной области и формирования структуры контекста применяется инженерия онтологий [16,17].…”

Section: рис 1 иллюстрация функции контекстаunclassified

A Study and Selection of Cryptographic Standards on the basis of Text Mining

Воробьев¹,

Евневич²,

Левоневский³

et al. 2016

Тр. СПИИРАН

View full text Add to dashboard Cite

An Ontology for ISO software engineering standards: 2) Proof of concept and application

Cited by 28 publications

References 5 publications

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach

Mitigando Efectos Adversos de Interrupciones del Servicio de Video-vigilancia del Hogar en Clientes WiFi inalámbricos

A Study and Selection of Cryptographic Standards on the basis of Text Mining

Contact Info

Product

Resources

About