Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/986537.986611acmconferencesArticle/Chapter ViewAbstractPublication Pagesacm-seConference Proceedingsconference-collections
Article

Interactive software architecture design with modeling & simulation

Published: 02 April 2004 Publication History

Abstract

Due to the increasing complexity of real world problems, it is costly and difficult to evaluate todays software-intensive systems. This paper explores component interaction pattern, and provides a set of methodologies for specifying, verifying, and validating (by simulation) system temporal behavior, with the aim of validating software design iteratively at design and development time. The methods combine such components and technologies as UML, XMI, database, model checking, and simulation.

References

[1]
L. Bass, P. Clements, and Rich Kazman. Software Architecture in Practice. Addison-Wesley, 1998.
[2]
http://www.pst.informatik.unimuenchen.de/projekte/hugo/index.html.
[3]
http://www.cis.ksu.edu/santos/.
[4]
http://ase.arc.nasa.gov/visser/jpf/.
[5]
Huiqun Yu, Xudong He, and Lian Mo. A formal method for analyzing software architecture models in sam. Computer Software ans Applications Conference, COMPSAC 2002. Proceedings. 26th Annual International, Aug. 2002.
[6]
K. S. Barber, T. Graser, and J. Holt. Providing early feedbck in the development cycle through automated application of model checking. Automated Software Engineering, Proceedings, 16th Annual International Conference, Nov. 2001.
[7]
Patrick O. Bobbie, Yiming Ji, and Lusheng Liang. Transformation uml collaborating statecharts for verification and simulation. 6th World Multiconference on Systemics, Cybernetics and Informatics, July 2002.
[8]
Patrick O. Bobbie, Visali Buggineni, and Yiming Ji. Model checking with sf2smv/smv and simulation of parallel systems. proc. of the Huntsville simulation conf., Oct. 2001.
[9]
http://www.omg.org/technology/documents/formal/~i.htm.

Cited By

View all
  • (2010)A simulation-based software design framework for network-centric and parallel systemsProgramming Support Innovations for Emerging Distributed Applications10.1145/1940747.1940752(1-5)Online publication date: 17-Oct-2010

Index Terms

  1. Interactive software architecture design with modeling & simulation

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ACMSE '04: Proceedings of the 42nd annual ACM Southeast Conference
    April 2004
    485 pages
    ISBN:1581138709
    DOI:10.1145/986537
    • General Chair:
    • Seong-Moo Yoo,
    • Program Chair:
    • Letha Hughes Etzkorn
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 02 April 2004

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. modeling
    2. simulation
    3. software architecture

    Qualifiers

    • Article

    Conference

    ACM SE04
    Sponsor:
    ACM SE04: ACM Southeast Regional Conference 2004
    April 2 - 3, 2004
    Alabama, Huntsville

    Acceptance Rates

    Overall Acceptance Rate 502 of 1,023 submissions, 49%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 16 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2010)A simulation-based software design framework for network-centric and parallel systemsProgramming Support Innovations for Emerging Distributed Applications10.1145/1940747.1940752(1-5)Online publication date: 17-Oct-2010

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media