Formalizing relations between use cases in the unified modeling language

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistencies.\nThis paper presents a formalization that gives precision to the definition of the main relations between Use Cases. This formalization will allow us to check consistency when incrementing the Use Cases model during the software development process and when relating Use Cases model with others modelsÁrea: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladore

Formalizing relations between use cases in the unified modeling language

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistencies. This paper presents a formalization that gives precision to the definition of the main relations between Use Cases. This formalization will allow us to check consistency when incrementing the Use Cases model during the software development process and when relating Use Cases model with others modelsÁrea: Informática Teórica - Inteligencia Artificial - Lenguajes - CompiladoresRed de Universidades con Carreras en Informática (RedUNCI

Formalizing relations between use cases in the unified modeling language

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistencies. This paper presents a formalization that gives precision to the definition of the main relations between Use Cases. This formalization will allow us to check consistency when incrementing the Use Cases model during the software development process and when relating Use Cases model with others modelsÁrea: Informática Teórica - Inteligencia Artificial - Lenguajes - CompiladoresRed de Universidades con Carreras en Informática (RedUNCI

Relations Between Use Cases in the Unified Modeling Language

El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintos Casos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalización (Generalization), Inclusión (Include) y Extensión (Extend). Estas relaciones, tanto como el resto de las construcciones de UML, están definidas semiformalmente, dando lugar a interpretaciones ambiguas e inconsistencias. Este trabajo presenta una formalización de las principales relaciones entre Casos de Uso aportando precisión en su definición. Además, con base en esta formalización se estudia la composición de estas relaciones en la etapa de evolución, mostrando en qué casos esta combinación es aplicable y cuándo se producen situaciones conflictivas.The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams which are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistancies. This paper presents a formalization that gives precision to the definition of the main relations between Use Cases. Also, this work studies -based on the formalization- the composition between these relations during the evolution phase, showing in which cases this combination can be applied and when it may be conflicting.Laboratorio de Investigación y Formación en Informática Avanzad

Relaciones entre casos de uso en el unified modeling language

El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintos Casos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalización (Generalization), Inclusión (Include) y Extensión (Extend). Estas relaciones, tanto como el resto de las construcciones de UML, están definidas semiformalmente, dando lugar a interpretaciones ambiguas e inconsistencias.Palabras Claves: Ingeniería de Software, Análisis y Diseño Orientado a Objetos, Lenguajes gráficos de modelado, Casos de Uso, Semántica formal

Jig mata alat bagi kerja melarik bulat

Kerja melarik bulat merupakan kerja yang biasa dilakukan menggunakan mesin larik. Projek telah diinovasikan daripada permasalahan yang timbul dalam proses melarik bulat dengan menggunakan mesin larik konvensional sebelum ini. Bertitik tolak dari permasalahan tersebut, satu kajian dan perbincangan telah dijalankan bagi mencari penyelesaian kepada masalah tersebut. Jig mata alat melarik bulat ialah suatu projek hasil cetusan idea untuk penambahbaikan bagi menggantikan sistem lama yang menggunakan teknik menggerakkan paksi X dan Y. Ianya direka khas untuk memudahkan proses melarik bulat pada mesin larik konvensional. Dengan menggunakan jig mata alat bagi kerja melarik bulat ini proses kerja di mesin menjadi lebih singkat dan menjimatkan masa serta produk yang dihasilkan lebih bermutu. Bagi industri yang mementingkan produktiviti dan keselamatan operator semasa menjalankan proses pemesinan, jig mata alat bagi kerja melarik bulat direka bagi memastikan keselamatan pengguna terjamin. Kajian ini telah diuji keboleh fungsiannya serta beberapa aspek daripada 3 orang pakar bidang yang mempunyai kelayakan akedamik dan kemahiran yang diperakui. Purata nilai min sebanyak 3.7 menunjukkan skor analisis adalah tinggi. Pakar bidang bersetuju bahawa produk ini berfungsi dengan baik. Dengan ini produk ini telah berjaya dilaksanakan