Högskolan i Skövde

his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modelling and Automatic Enforcement of Architectural Design Rules
University of Limerick, Ireland.
2012 (English)Doctoral thesis, comprehensive summary (Other academic)
Place, publisher, year, edition, pages
Limerick: University of Limerick , 2012. , p. 192
National Category
Computer and Information Sciences
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-6971OAI: oai:DiVA.org:his-6971DiVA, id: diva2:581073
Supervisors
Available from: 2017-12-22 Created: 2012-12-28 Last updated: 2018-01-11Bibliographically approved
List of papers
1. Linking Model-Driven Development and Software Architecture: A Case Study
Open this publication in new window or tab >>Linking Model-Driven Development and Software Architecture: A Case Study
2009 (English)In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 35, no 1, p. 83-93Article in journal (Refereed) Published
Abstract [en]

A basic premise of model-driven development (MDD) is to capture all important design information in a set of formal or semiformal models, which are then automatically kept consistent by tools. The concept, however, is still relatively immature and there is little by way of impirically validated guidelines. In this paper, we report on the use of MDD on a significant real-world project over several years. Our research found the MDD approach to be deficient in terms of modeling architectural design rules. Furthermore, the current body of literature does not offer a satisfactory solution as to how architectural design rules should be modeled. As a result developers have to rely on time-consuming and error-prone manual practices to keep a system consistent with its architecture. To realize the full benefits of MDD, it is important to find ways of formalizing architectural design rules, which then allow automatic enforcement of the architecture on the system model. Without this, architectural enforcement will remain a bottleneck in large MDD projects.

Place, publisher, year, edition, pages
IEEE Computer Society, 2009
Keywords
Case study, model-driven development, software architecture
National Category
Computer and Information Sciences
Research subject
Technology
Identifiers
urn:nbn:se:his:diva-2913 (URN)10.1109/TSE.2008.87 (DOI)000265089400005 ()2-s2.0-60449116881 (Scopus ID)
Available from: 2009-03-26 Created: 2009-03-26 Last updated: 2021-11-19Bibliographically approved
2. An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software
Open this publication in new window or tab >>An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software
2012 (English)In: ACM Transactions on Software Engineering and Methodology, ISSN 1049-331X, E-ISSN 1557-7392, Vol. 21, no 2, article id Article 10Article in journal (Refereed) Published
Abstract [en]

Current techniques for modeling software architecture do not provide sufficient support for modeling architectural design rules. This is a problem in the context of model-driven development in which it is assumed that major design artifacts are represented as formal or semi-formal models. This article addresses this problem by presenting an approach to modeling architectural design rules in UML at the abstraction level of the meaning of the rules. The high abstraction level and the use of UML makes the rules both amenable to automation and easy to understand for both architects and developers, which is crucial to deployment in an organization. To provide a proof-of-concept, a tool was developed that validates a system model against the architectural rules in a separate UML model. To demonstrate the feasibility of the approach, the architectural design rules of an existing live industrial-strength system were modeled according to the approach.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2012
Keywords
Design, Documentation, Human Factors, Model-driven development (MDD), model-driven engineering (MDE), embedded software development
National Category
Computer and Information Sciences
Research subject
Technology
Identifiers
urn:nbn:se:his:diva-6206 (URN)10.1145/2089116.2089120 (DOI)000301976000004 ()2-s2.0-84859416909 (Scopus ID)
Available from: 2012-08-08 Created: 2012-08-08 Last updated: 2021-11-19Bibliographically approved
3. Communicating Architectural Design Rules Using Models – An Action Case Study
Open this publication in new window or tab >>Communicating Architectural Design Rules Using Models – An Action Case Study
2012 (English)In: Proceedings of the  Informing Science and Information Technology Education Conference InSITE 2012: June 22-27, 2012, Montreal, Canada / [ed] Eli Cohen; Elizabeth Boyd, Santa Rosa: Informing Science Institute, 2012, p. 475-492Conference paper, Published paper (Refereed)
Abstract [en]

An important purpose of architectural design is to ensure that the system meets its quality requirements by defining a set of system wide design decisions. An important part of these design decisions is the set of architectural design rules that shall be followed by developers in the detailed design. The state of practice is to define these rules in natural language and to use manual reviews to enforce them. This way of transferring the rules to the developers is however error prone and requires a lot of effort from the architects since natural language is ambiguous and open for different interpretations and rule following have to be checked with manual reviews. This paper reports from an action case study where a novel approach for architectural modeling and automated conformance checking has been investigated regarding its ability to better communicate architectural design decisions to the developers. The findings indicate that the novel approach is significantly more effective than the state of practice. The findings also show that an important reason for this is that using a tool for conformance checking allows the developers to learn the rules by experimenting.

Place, publisher, year, edition, pages
Santa Rosa: Informing Science Institute, 2012
Series
Proceedings of the Informing Science and Education Conference, ISSN 1535-0703 ; 12
Keywords
Action Case study, Meta-modeling, Model-Driven Development, Software Architecture
National Category
Computer and Information Sciences
Research subject
Technology; Software Systems Research Group (SSRG)
Identifiers
urn:nbn:se:his:diva-7350 (URN)10.28945/1669 (DOI)978-1-932886-58-0 (ISBN)
Conference
InSITE 2012 Informing Science & IT Education: A Conference in Four Parts: Connect, TeachIT, TeLE, and Inform, June 22-27, 2012, Montréal, Canadá
Available from: 2013-03-01 Created: 2013-03-01 Last updated: 2023-07-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Fulltext
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 61 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf