1.  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: Software Engineering at Azusa Pacific University My Research in Software Engineering August 20, 2015 1 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/

2. 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 Engineering Software Engineering at Azusa Pacific University August 20, 2015 2 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/

3. 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 Engineering Software Engineering at Azusa Pacific University August 20, 2015 3 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/

4. Analyst Customers Analyst In the beginning, software was formless and empty… 4  It’s f.a.i.t.h. work Requirements Software Engineering at Azusa Pacific University August 20, 2015 4 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/

5. Requirements Engineering Team Informal Needs Figure-out Computational Activities Information Flows Analysis Operational Scenario Imagination Documents Together 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 Azusa Pacific University August 20, 2015 5 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/

6. 6 Software Engineering at Azusa 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 August 20, 2015 6 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/

7.  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 & goals My Research in Software Engineering Modeling Binding Software Engineering at Azusa Pacific University  Synthesizing Approach for Dependable System of Systems August 20, 2015 7 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/

8.  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 Azusa Pacific University My Research in Software Engineering  It’s my work  process & approach August 20, 2015 8 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/

9. The conceptual view is from/for the customer. In terms of decomposition, it is reflected as the activities as well as information flows to accomplish the conceptual operations. Software Engineering at Azusa Pacific University  Conceptual Operations V computation = [C c, I, Ct (C c, I)] C c : Conceptual component I: Interconnections Ct: Constraints on C c and I  Formal Definition August 20, 2015 9 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/

10. Fishery Software Engineering at Azusa Pacific University  Example of conceptual operations  Conceptual Operations August 20, 2015 10 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/

11. Software Engineering at Azusa 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 August 20, 2015 11 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/

12. Compositional view is from / for the architect. In terms of compositional patterns, a set of architectural rules applied to govern the interactions between components P S r o r i Software Engineering at Azusa Pacific University  Compositional Architecture V composition = [C c  R, R o ─ S / P →R i, Ct (R, S, P)] C c  R C c  R : component extracted as role R o ─ S / P →R i R o ─ S / P →R i : interaction between roles S: architectural style (i.e., pipeline, message sending) P: communication protocol (TCP/IP)  Formal Definition August 20, 2015 12 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/

13. Software Engineering at Azusa Pacific University  Example of compositional architecture August 20, 2015 13 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/

14. The componential view is from/for implementer. In terms of physical components, they will be derived as instances to carry out the computational activities V derivation = [R  C p, (C p  R o )─ S / P →(R i  C p ), Ct (C p S, P)] COM 1 2 P S r o r i glue R  C p R  C p : physical component derived from roles C p  R o C p  R o : instance component glued to role Software Engineering at Azusa Pacific University  Componential Derivation  Formal Definition August 20, 2015 14 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/

15. The quantifiable view is related to non-functionality. In terms of dependability, it is mapped into constraints bound with the architecture, and applied for evaluation. Software Engineering at Azusa Pacific University  Quantifiable Evaluation  Formal Definition V quantification =[D r  Q c, Q c ─ Attach  CCM (R,S,P)] D r  Q c represents translation of dependability to quantitative constraints ─ attach  : represents the localization of constraints CCM(R, S, P): represents model parameterized as Role, Style, & Protocol August 20, 2015 15 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/

16. 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; Latency MET 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 Azusa Pacific University  Quantifiable Evaluation  Monitor at runtime August 20, 2015 16 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/

17. August 20, 2015 17 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 Add some research work in here Software Engineering at Azusa Pacific University  Synthesizing Approach for Dependable System of Systems My Research in Software Engineering Approach CAS E Tools

18.  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 Azusa Pacific University My Research in Software Engineering August 20, 2015 18 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/

19.  Publications Paper collected in Architecting Dependable Systems II Software Engineering at Azusa Pacific University August 20, 2015 19 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/

20.  Publications Software Engineering at Azusa Pacific University Book published in China: Software Development Techniques August 20, 2015 20 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/

21.  Additional publication list [LNCS] Quantifiable Software Architecture of Dependable SoS Software Engineering at Azusa 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 August 20, 2015 21 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/

22. Software Engineering at Azusa Pacific University August 20, 2015 22 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/