1 software systems analysis a research area overview by reema al-kamha supported by nsf
Post on 22-Dec-2015
214 views
TRANSCRIPT
2
Outline Introduction Data Representation Behavior Representation Prototyping Formalism Recent Work Some Future Directions
5
Conceptual Data Modeling Entity Relationship Model [Che76] Object-Role Modeling [Hal01] Object-Relationship Model [EKW92] Unified Modeling Language [BRJ99]
8
Semantic Networks [GRI82]
users.aber.ac.uk/smg/Modules/COM6010-April-2004/ 03-03-semanticNetsAndFrames.ppt
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]
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]
12
Representation─Behavior Petri Nets [Pet62, Pet77] Finite State Machines [Cho78] Statecharts [Har87] State Nets [EKW92]
15
Prototyping Constructing a partial implementation of system Two approaches:
Throwaway approach [DAV82, GOM83] Evolutionary approach [MAS83]
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
17
Recent Work Form-Oriented Analysis [DW04] Using Fisheye Views to Support Systems
Analysis [TSSO04] Extreme Programming (XP) [Bec00]
22
Extreme Programming (XP) [Bec00]
Stories(re)describe
Customer
interact
Source Code
define
defineTest
code errors
create, refine
interpret
Developers
23
Some Future Directions Extreme Non-Programming (XNP) [Tony
Morgan ISTA 2004] Challenge to the Conceptual Models [Michael
Carey ER2003]
24
Extreme Non-Programming (XNP)
review
(re)describe
Analyst
Customer
translate
Model Human readable viewsgenerate
Software generateMachine readable views
generate
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