A rule-based method to match software patterns against UML models

DOI10.1016/J.ENTCS.2008.10.034MaRDI QIDQ5415655zbMATH OpenOpenAlexFDO

Authors Andrea Baruzzo, D. Ballis, Marco Comini

Publication date 13 May 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.10.034

zbMATH Keywords

pattern matchingrule-based domain specific languageUML design patternsUML formal specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5031479
• A search based approach for identifying design patterns
• Models of software architecture. Design and analysis with UML and Petri nets
• scientific article; zbMATH DE number 5850099
• A use case model extension for architectural patterns

Cited in

(1)

• scientific article; zbMATH DE number 1931723 (Why is no real title available?)

This page was built for publication: A rule-based method to match software patterns against UML models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415655)