Filters








5,492 Hits in 6.4 sec

Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation

Mehmet Alp Kose, Mert Ozkaya
2020 Proceedings of the 2020 Federated Conference on Computer Science and Information Systems  
We also extended SAWUML's modeling editor for creating software architecture models together with component and activity diagrams and the code generators for automatically obtaining (i) formal models in  ...  SAWUML is a general-purpose software modeling language that extends UML by unifying component and sequence diagrams for the specifications of software architectures.  ...  The type name is unique for every component in a software architecture specifications. Practitioners can pass information to a component through the parameter specification of the component.  ... 
doi:10.15439/2020f199 dblp:conf/fedcsis/KoseO20 fatcat:ahsn2d3l2jepfh43jmd4m4t2wi

The General-Purpose Modeling, Analysis, and Implementation of Software Architectures

Mert Özkaya
2020 Journal of Aeronautics and Space Technologies (Havacilik ve Uzay Teknolojileri Dergisi)  
SAMP is also supported with a modeling toolset that allows for the visual modeling of software architectures in those perspectives.  ...  multiple-viewpoints modeling, formal verification of the models for the desired requirements, and combining model and code together.  ...  Just like UML, SAMP offers a general-purpose notation set for the high-level modeling of software architectures.  ... 
doaj:7ca4f1fb85c745f5b2a3d147338062ea fatcat:6g5z6zkk25ex7boob5by7xeyga

Use Cases in Model-Driven Software Engineering [chapter]

Hernán Astudillo, Gonzalo Génova, Michał Śmiałek, Juan Llorens, Pierre Metz, Rubén Prieto-Díaz
2006 Lecture Notes in Computer Science  
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the software components to build  ...  WUsCaM 05 -"Workshop on Use Cases in Model-Driven Software Engineering" -brought together use case and MDSE experts from industry and academia to identify and characterize problem areas and promising approaches  ...  Formalism. Whilst several more-or-less formal semantics have been proposed for use cases, they do not account for the complexity of describing NFRs as well.  ... 
doi:10.1007/11663430_28 fatcat:7on6zao6rra6dokz2h5t5uav6u

What practitioners really want: requirements for visual notations in conceptual modeling

Dirk van der Linden, Irit Hadar, Anna Zamansky
2018 Journal of Software and Systems Modeling  
It is likely that this can be explained by the concept of processes being important for the modeling of many things that incorporate them, e.g., enterprise architectures, information flow, flow in software  ...  What requirements do practitioners perceive for the visual notations of the conceptual modeling languages they use? RQ2.  ...  You would be using this notation only among fellow modeling experts. On a scale of 1 to 5, how important would the following requirements be for this notation?  ... 
doi:10.1007/s10270-018-0667-4 fatcat:kykorud52nbqfj2arzyc2jdrcu

Modeling software architectures in the Unified Modeling Language

Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins
2002 ACM Transactions on Software Engineering and Methodology  
The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language.  ...  The primary goal of this work is an assessment of UML's expressive power for modeling software architectures in the manner in which a number of existing software architecture description languages (ADLs  ...  We also thank the anonymous referees for their extremely thorough and helpful comments on the manuscript.  ... 
doi:10.1145/504087.504088 fatcat:zsxo7fwowfbdjlfx44r57mafce

Bottom-up model-driven development

Hamid Bagheri, Kevin Sullivan
2013 2013 35th International Conference on Software Engineering (ICSE)  
Prominent researchers and leading practitioners are questioning the long-term viability of model-driven development (MDD).  ...  visible concrete artifacts are generated, becoming part of the base of both concrete and abstract artifacts for subsequent rounds of development.  ...  This work was supported in part by the National Science Foundation under grant #1052874.  ... 
doi:10.1109/icse.2013.6606683 dblp:conf/icse/BagheriS04 fatcat:ykplysen7jgpjhshzzfxwmalm4

Model-based Security Analysis of the German Health Card Architecture

J. Jürjens, R. Rumm
2008 Methods of Information in Medicine  
Conclusions: The results indicate that it can be feasible to apply a model-based security analysis using UMLsec to an industrial health information system like the German Health Card architecture, and  ...  Methods: This work presents the experiences and results from the security analysis of the system architecture of the German Health Card, by making use of an approach to Model-based Security Engineering  ...  The first author is supported by the Royal Society through the Joint International Project with TU Munich on "Modelbased Formal Security Analysis of Crypto-Protocol Implementations".  ... 
doi:10.3414/me9122 fatcat:qxy6tzabzvhxvkbdam6q5b6mdy

The OO-method approach for information systems modeling: from object-oriented conceptual modeling to automated programming

Oscar Pastor, Jaime Gómez, Emilio Insfrán, Vicente Pelechano
2001 Information Systems  
To achieve this objective, the OO-Method approach to Information Systems Modeling presented in this paper attempts to overcome the conventional (informal)/formal dichotomy by selecting the best ideas from  ...  Current and future (conventional) notations used in Conceptual Modeling Techniques should have a precise (formal) semantics to provide a well-defined software development process, in order to go from specification  ...  A tiered component architecture for the execution model The architecture for the execution model is based on the common three-tiered architecture [20] .  ... 
doi:10.1016/s0306-4379(01)00035-7 fatcat:dqzlbtzjdbflxopd6sl7caw2ka

Multi-view Software Component Modeling for Dependability [chapter]

Roshanak Roshandel, Nenad Medvidovic
2004 Lecture Notes in Computer Science  
ensuring the dependability of software systems from an architectural perspective.  ...  We advocate that, in order to accrue the true benefits of component-based software development, one needs to model all four aspects of components.  ...  However, some may not scale very well, while others may be too formal and complex for routine use by practitioners.  ... 
doi:10.1007/978-3-540-25939-8_13 fatcat:i3ptdoomhjc2bbqu4hx5376ts4

A survey of variability modeling in industrial practice

Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wąsowski
2013 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13  
These results provide insights into application scenarios and perceived benefits of variability modeling, the notations and tools used, the scale of industrial models, and experienced challenges and mitigation  ...  As part of our effort to improve empirical understanding of variability modeling, we present the results of a survey questionnaire distributed to industrial practitioners.  ...  ACKNOWLEDGMENTS Partially funded by the Danish Agency for Science, Technology and Innovation (ARTEMIS JU grant n • 295397 VARIES) and the German Federal Ministry of Education and Research (01IS10033K EUMONIS  ... 
doi:10.1145/2430502.2430513 dblp:conf/vamos/BergerRNABCW13 fatcat:roiegh72zvdhrozvpbh3aw75ky

Privacy Compliance Via Model Transformations

Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
2018 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)  
Due to the upcoming, more restrictive regulations (like the European GDPR), designing privacy preserving architectures for information systems is becoming a pressing concern for practitioners.  ...  This work presents an approach based on model transformations, which guarantee that an architectural design encompasses regulation-oriented principles such as purpose limitation, or accountability of the  ...  ACKNOWLEDGMENT This research has been supported by the Swedish funding agency VINNOVA under the grant HoliSec: Holistic Approach to Improve Data Security and by the Swedish funding agency SSF under the  ... 
doi:10.1109/eurospw.2018.00024 dblp:conf/eurosp/AntignacSS18 fatcat:jrsxrebxave7bg43hycjdes4hm

Design notations for secure software: a systematic literature review

Alexander van den Berghe, Riccardo Scandariato, Koen Yskout, Wouter Joosen
2015 Journal of Software and Systems Modeling  
These notations are aimed at documenting and analyzing security in a software design model. The fragmentation of the research space, however, has resulted in a complex tangle of different techniques.  ...  Similarly, it is hard for researchers to keep track of the synergies among the existing notations, in order to identify the existing opportunities for original contributions.  ...  For example, practitioners who require to be able to verify the design (e.g., because of compliance requirements) would discard notations that do not support formal analysis. RQ3: Validation.  ... 
doi:10.1007/s10270-015-0486-9 fatcat:hom7vhzkmnextkoulukb736gyq

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events [chapter]

David Garlan
2003 Lecture Notes in Computer Science  
Developing a good software architecture for a complex system is a critically important step for insuring that the system will satisfy its principal objectives.  ...  This need not be the case. Over the past decade a number of researchers have developed formal languages and associated analysis tools for software architecture.  ...  These notations usually provide both a conceptual framework and a concrete syntax for modeling software architectures.  ... 
doi:10.1007/978-3-540-39800-4_1 fatcat:6ze6rioubvgopferwy6cz6jx54

Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study
english

Mert Ozkaya, Christos Kloukinas
2014 Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development  
In this paper, we introduce a new ADL called XCD which enables designers to model their software architectures through a Design-by-Contract approach, as for example in the Java Modelling Language (JML)  ...  We illustrate how XCD can be used in architectural modelling and analysis using the Aegis combat software system.  ...  INTRODUCTION Architectural modelling and analysis of complex software systems has always been a crucial aspect of system development for two reasons.  ... 
doi:10.5220/0004714403680375 dblp:conf/modelsward/OzkayaK14 fatcat:ergd4lwop5bpnornyx23r2xtfq

Model driven architecture: Principles and practice

Alan W. Brown
2004 Journal of Software and Systems Modeling  
Model Driven Architecture (MDA 1 ) is an approach to application modeling and generation that has received a lot of attention in recent months.  ...  The paper concludes with a set of recommendations for how MDA can be successful in practice.  ...  The ideas discussed here reflect the thinking of a broad team at IBM including Ben Amba, Grady  ... 
doi:10.1007/s10270-004-0061-2 fatcat:fp222p7ay5fd7lltlzw6zdemri
« Previous Showing results 1 — 15 out of 5,492 results