![Page 1: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/1.jpg)
1
Software Systems Analysis A Research Area Overview
By
Reema Al-Kamha
Supported by NSF
![Page 2: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/2.jpg)
2
Outline Introduction Data Representation Behavior Representation Prototyping Formalism Recent Work Some Future Directions
![Page 3: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/3.jpg)
3
Introduction Software System Systems Analysis Modeling
![Page 4: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/4.jpg)
4
Representation─Data Conceptual Data Modeling Knowledge Representation Ontologies
![Page 5: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/5.jpg)
5
Conceptual Data Modeling Entity Relationship Model [Che76] Object-Role Modeling [Hal01] Object-Relationship Model [EKW92] Unified Modeling Language [BRJ99]
![Page 6: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/6.jpg)
6
Entity Relationship Model [Chen76]
www.cs.yale.edu/homes/avi/db-book/db4/slide-dir/ch1.ppt
![Page 7: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/7.jpg)
7
Knowledge Representation Semantic Networks [GRI82] Frames [Min75, FK85]
![Page 8: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/8.jpg)
8
Semantic Networks [GRI82]
users.aber.ac.uk/smg/Modules/COM6010-April-2004/ 03-03-semanticNetsAndFrames.ppt
![Page 9: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/9.jpg)
9
Frames [Min75]
users.aber.ac.uk/smg/Modules/COM6010-April-2004/ 03-03-semanticNetsAndFrames.ppt
![Page 10: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/10.jpg)
10
Ontologies Philosophy [Bun77] Analysis and design information systems
[WW90], based on Bunge’s ontology [Bun77, Bun79]
Ontology is an explicit specification of a shared conceptualization [Guber93]
![Page 11: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/11.jpg)
11
Ontologies Advantages
Facilitate the process of identifying system requirements
Improve the reliability of software systems Facilitate the design of reusable systems
Knowledge representation Ontolingua [Gru93] CYC [LG90, LG95] OWL [SWM04]
![Page 12: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/12.jpg)
12
Representation─Behavior Petri Nets [Pet62, Pet77] Finite State Machines [Cho78] Statecharts [Har87] State Nets [EKW92]
![Page 13: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/13.jpg)
13
Petri Nets [Pet62, Pet77]
![Page 14: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/14.jpg)
14
Petri Nets [Pet62, Pet77]
![Page 15: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/15.jpg)
15
Prototyping Constructing a partial implementation of system Two approaches:
Throwaway approach [DAV82, GOM83] Evolutionary approach [MAS83]
![Page 16: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/16.jpg)
16
Formalism Mathematical based techniques for describing
system properties Formalism produces models that are:
Consistent Complete Unambiguous
Variety of formal specification languages such as CSP [Hoa85], VDM [JON91], and Z [Spi89]
Description Logics
![Page 17: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/17.jpg)
17
Recent Work Form-Oriented Analysis [DW04] Using Fisheye Views to Support Systems
Analysis [TSSO04] Extreme Programming (XP) [Bec00]
![Page 18: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/18.jpg)
18
Page diagram of the online seminar
registration system
Form-Oriented Analysis [DW04]
![Page 19: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/19.jpg)
19
Form-Oriented Analysis [DW04]
Form chart of the seminar registration system
![Page 20: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/20.jpg)
20
Form-Oriented Analysis [DW04]
Data model and data dictionary
![Page 21: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/21.jpg)
21
Using Fisheye Views [TSSO04]
![Page 22: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/22.jpg)
22
Extreme Programming (XP) [Bec00]
Stories(re)describe
Customer
interact
Source Code
define
defineTest
code errors
create, refine
interpret
Developers
![Page 23: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/23.jpg)
23
Some Future Directions Extreme Non-Programming (XNP) [Tony
Morgan ISTA 2004] Challenge to the Conceptual Models [Michael
Carey ER2003]
![Page 24: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/24.jpg)
24
Extreme Non-Programming (XNP)
review
(re)describe
Analyst
Customer
translate
Model Human readable viewsgenerate
Software generateMachine readable views
generate
![Page 25: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/25.jpg)
25
Mike Carey’s ER2003 Challenge to theConceptual Modeling CommunityProduce a simple conceptual model that:
Works well with XML and XML Schema Abstracts well for conceptual entities and
relationships Scales to handle both large data sets and complex
object interrelationships Allows for queries and defined views via XQuery Accommodates heterogeneity
![Page 26: Software Systems Analysis A Research Area Overview](https://reader034.vdocuments.net/reader034/viewer/2022051416/56813a64550346895da25d54/html5/thumbnails/26.jpg)
26
Summary Overview of Systems Analysis Data & Behavior Representation Prototyping Formalism Recent Work & Some Future Directions