It’s tough work It’s f . a . i . t . h . work It’s creative work It’s my work

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/

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



April 21, 20232



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



April 21, 20233



Analyst

Customers

CustomersAnalyst

In the beginning, software was formless and empty… In the beginning, software was formless and empty…

4


Requirements


April 21, 20234



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



April 21, 20235



6


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



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


Synthesizing Approach for Dependable System of Systems

April 21, 20237



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



My Research in Software EngineeringMy Research in Software Engineering It’s my work process & approach

April 21, 20238



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.


Conceptual Operations

VVcomputationcomputation= [= [CCcc, , II, , CtCt ( (CCcc, , II)])]

Cc: Conceptual component

I: Interconnections

Ct: Constraints on Cc and I

Formal Definition

April 21, 20239



Fishery


Example of conceptual operations


April 21, 202310





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



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


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



O2 NH3 H2O

Water_Flow

Display_status

Drain Inlet Feeder

F_Time

Repository

Adjusting Listener Feeding Listener

Sampler

Source

Sensor

Adjusting Announcer

Feeding Announcer


Example of compositional architecture

April 21, 202313



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


Componential Derivation

Formal Definition

April 21, 202314



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.


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


Quantifiable Evaluation Monitor at runtime

April 21, 202316


April 21, 202317


Add some research work in here




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)



April 21, 202318


Publications Paper collected in Architecting Dependable Systems II


April 21, 202319


Publications


Book published in China: Software Development Techniques

April 21, 202320


Additional publication list [LNCS] Quantifiable Software Architecture of Dependable SoS


[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



April 21, 202322


It’s tough work It’s f . a . i . t . h . work It’s creative work It’s my work

Documents

Transcript of It’s tough work It’s f . a . i . t . h . work It’s creative work It’s my work