View
53
Download
0
Category
Preview:
DESCRIPTION
Software Engineering at Azusa Pacific University. My Research in Software Engineering. What kind of work SE is:. It’s tough work It’s f . a . i . t . h . work It’s creative work It’s my work. 1. September 28, 2014. - PowerPoint PPT Presentation
Citation preview
It’s tough work
It’s f.a.i.t.h. work
It’s creative work
It’s my work
What kind of work SE is:What kind of work SE is:
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
My Research in Software EngineeringMy Research in Software Engineering
April 21, 20231
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
It’s difficult to think (about) Think in human way about _ what a computer can do
It’s more difficult to think about thinking Think in computing way about _ how a computer thinks about what …
It’s most difficult to talk about thinking about thinking Talk in programming way about how … what … communicate with people and command a computer to do …
It’s tough work
My Research in Software EngineeringMy Research in Software Engineering
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
April 21, 20232
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Software system is formed at human command programming is to command the computer
Our belief : we may not make things perfect, but we offer best effort in architectural evaluation.
What is seen was made out of what was invisible riches of operations just through “0”s & “1”s
Quantitative evaluation is used for dependability ability to construct dependable systems
It’s creative work
My Research in Software EngineeringMy Research in Software Engineering
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
April 21, 20233
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Analyst
Customers
CustomersAnalyst
In the beginning, software was formless and empty… In the beginning, software was formless and empty…
4
It’s f.a.i.t.h. work
Requirements
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
April 21, 20234
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Requirements
Engineering Team
Informal Needs
Figure-out
Computational Activities
Information Flows
Analysis
Operational Scenario
Imagination
Documents
Together
Customers Customers
Analyst
We need to figure out the needs
Analyze activities and information flows in between
use imagination to form pictures in
mind
They come together to form
specification
Architectural synthesis approach
SOFT level: Intangible
WARE level:tangible
Engineering:manipulable
Hierarchical layout
Harmony
It’s f.a.i.t.h. work
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
April 21, 20235
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
6
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
My recent research published as a paper in the book (LNCS 3069) ed: R. de Lemos, et el, Springer Verlag, 2004.
It’s my work
April 21, 20236
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Feasibility: rapid prototyping for validation Through computational model (activity & link) See if conceptual operation is feasible
Evolvability: scalable architecting for verification Through compositional model (architecture level) See if specification holds the model
Extendibility: derivable component for monitoring Through derivable model (component level) See if quantitative constraints satisfied
It’s my work objectives & goalsMy Research in Software EngineeringMy Research in Software Engineering
Modeling
Binding
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Synthesizing Approach for Dependable System of Systems
April 21, 20237
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Conceptual Operations What activities via information flows join operations
Compositional Architecture What rules are applied to govern interactions
Componential Derivation How components evolved through via connectivity
Quantifiable Evaluation How architecture and dependability evaluated
Synthesizing Approach for Dependable System of Systems
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
My Research in Software EngineeringMy Research in Software Engineering It’s my work process & approach
April 21, 20238
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
The conceptual view is from/for the customer. In terms of The conceptual view is from/for the customer. In terms of decomposition, it is reflected as the activities as well as decomposition, it is reflected as the activities as well as information flows to accomplish the conceptual information flows to accomplish the conceptual operations. operations.
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Conceptual Operations
VVcomputationcomputation= [= [CCcc, , II, , CtCt ( (CCcc, , II)])]
Cc: Conceptual component
I: Interconnections
Ct: Constraints on Cc and I
Formal Definition
April 21, 20239
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Fishery
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Example of conceptual operations
Conceptual Operations
April 21, 202310
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Conceptual Operations
Display board: display_status
Monitors: O2 level
NH3 level
H2O level
Controller: water flow
inlet inlet_setting
drain drain_setting
feeder schedule
Zoom in
April 21, 202311
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Compositional view is from / for the architect. In terms Compositional view is from / for the architect. In terms of compositional patterns, a set of architectural rules of compositional patterns, a set of architectural rules applied to govern the interactions between componentsapplied to govern the interactions between components
P
S ro ri
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Compositional Architecture
VVcompositioncomposition = [ = [CCcc R, RR, Roo──
SS//PP→→RRii, Ct, Ct ( (R, S, PR, S, P)])]
CCcc RR : component extracted as role
RRoo──SS//PP→→RRii
: interaction between roles
S: architectural style (i.e., pipeline, message sending)P: communication protocol (TCP/IP)
COM1 COM2
P
S ro ri
glue glue Formal Definition
April 21, 202312
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
O2 NH3 H2O
Water_Flow
Display_status
Drain Inlet Feeder
F_Time
Repository
Adjusting Listener Feeding Listener
Sampler
Source
Sensor
Adjusting Announcer
Feeding Announcer
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Example of compositional architecture
April 21, 202313
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
The componential view is from/for implementer. In The componential view is from/for implementer. In terms of physical components, they will be derived terms of physical components, they will be derived as instances to carry out the computational activitiesas instances to carry out the computational activities
VVderivationderivation= [= [R R CCpp, , ((CCppRRoo)─)─SS//PP→(→(RRii CCpp)), Ct, Ct ( (CCpp S, P S, P)])]
COM 1 COM 2
P
S r o r
i
glue glue
R R CCpp : physical component derived from
roles
CCppRRoo: instance component glued to role
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Componential Derivation
Formal Definition
April 21, 202314
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
The quantifiable view is related to non-functionality. In The quantifiable view is related to non-functionality. In terms of dependability, it is mapped into constraints terms of dependability, it is mapped into constraints bound with the architecture, and applied for evaluation.bound with the architecture, and applied for evaluation.
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Quantifiable Evaluation
Formal Definition
Vquantification=[Dr Qc, Qc ─Attach CCM (R,S,P)]
Dr Qc represents translation of dependability to quantitative constraints
─attach : represents the localization of constraints CCM(R, S, P): represents model parameterized as Role, Style, & Protocol April 21, 2023
15Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
composer Pipeline is generalized … role Outflow is port procedure Output(d: Data); procedure Produce(d: Data) is abstract; computation Produce (d); *[ Output (d) latency(60) Produce (d) met(100) latency-signaled LAT-EXCEPTION met-signaled MET-EXCEPTION ] end Outflow; … … end Pipeline;
COM1 COM2
P
S ro ri
glue glue
LatencyMET
Latency: the upper bound of communication delay MET : Maximum Execution Time of computation
Dynamic design inspection to monitor
system execution
Component1 Component2
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Quantifiable Evaluation Monitor at runtime
April 21, 202316
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
April 21, 202317
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Add some research work in here
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Synthesizing Approach for Dependable System of Systems
My Research in Software EngineeringMy Research in Software Engineering
Approach
CASE
Tools
Explicitly define architecture for
faster, better, cheaper systems Clearly uncover perspective concerns for
customer, architect, implementer Incorporate requirements validation for
prototyping / requirement adjustment Quantify evolvable architecture for
heterogeneity, granularity, compatibility
What Achieved and Expected (progressive)
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
My Research in Software EngineeringMy Research in Software Engineering
April 21, 202318
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Publications Paper collected in Architecting Dependable Systems II
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
April 21, 202319
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Publications
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
Book published in China: Software Development Techniques
April 21, 202320
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Additional publication list [LNCS] Quantifiable Software Architecture of Dependable SoS
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
[Book] Ada Software Development Techniques [ACM SIGSoft] Quantifiable Architecting of Dependable SoES [COMPSAC] Software Documentation-Driven Manufacturing
[RSP] Synthesizing Approach for Perspective-based AD
[AdaLetters] Automatic Prototype Generating via OOM [AdaLetters] Event-based Implicit Invocation Decentralized in Ada95 [AdaLetters] Omega: A Uniform Object Model Easy to Gain Ada95's [TRI-Ada] Ada-based Support for Abstraction, Encapsulation …
[ICSE] Perspective-based Architectural Approach for DS [CCCT] Synthesizing Architectural Approach via a DCM
[ISSAA] Formal Approach for System Safety Analysis …. IAM
[IASTED] Composition Modeling: Towards a PDPT
April 21, 202321
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Software Engineering at Software Engineering at Azusa Pacific UniversityAzusa Pacific University
April 21, 202322
Azusa Pacific University, Azusa, CA 91702, Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/
Recommended