• Login
    View Item 
    •   SMARTech Home
    • College of Computing (CoC)
    • College of Computing Technical Reports
    • View Item
    •   SMARTech Home
    • College of Computing (CoC)
    • College of Computing Technical Reports
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Semi-Formal Functional Software Modeling with TMK

    Thumbnail
    View/Open
    GIT-CC-00-05.pdf (98.43Kb)
    Date
    2000
    Author
    Murdock, J. William
    Metadata
    Show full item record
    Abstract
    The Task-Method-Knowledge (TMK) modeling language is a formal mechanism for describing a software system. It was created as a knowledge representation framework for intelligent systems. The main idea behind TMK is that effective reasoning about a system is supported by a description of both what a system does and how it works. TMK models are referred to as functional models because they focus on describing and decomposing the functions of systems. Because TMK models were designed for use in artificial intelligent systems, existing versions of the TMK language require the enormous precision and formality necessary to support automatic processing. However, the basic idea behind TMK, that functional models of systems are useful for reasoning about those systems, also seems appropriate for information to be used by humans. This paper presents a new version of TMK which is less formal than the existing versions of the language. This semi-formal version of TMK is intended to be used as a software architecture modeling language for use by human software engineers.
    URI
    http://hdl.handle.net/1853/6582
    Collections
    • College of Computing Technical Reports [506]

    Browse

    All of SMARTechCommunities & CollectionsDatesAuthorsTitlesSubjectsTypesThis CollectionDatesAuthorsTitlesSubjectsTypes

    My SMARTech

    Login

    Statistics

    View Usage StatisticsView Google Analytics Statistics
    facebook instagram twitter youtube
    • My Account
    • Contact us
    • Directory
    • Campus Map
    • Support/Give
    • Library Accessibility
      • About SMARTech
      • SMARTech Terms of Use
    Georgia Tech Library266 4th Street NW, Atlanta, GA 30332
    404.894.4500
    • Emergency Information
    • Legal and Privacy Information
    • Human Trafficking Notice
    • Accessibility
    • Accountability
    • Accreditation
    • Employment
    © 2020 Georgia Institute of Technology