1 / 22

 It’s tough work  It’s f . a . i . t . h . work  It’s creative work  It’s my work

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.

feryal
Download Presentation

 It’s tough work  It’s f . a . i . t . h . work  It’s creative work  It’s my work

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  2. Software Engineering at Azusa Pacific University My Research in Software Engineering It’s tough work It’s difficult to think (about)  Think in human way about _ whata computer can do It’s more difficult to think about thinking  Think in computing way about _ howa 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 … 2 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  3. Software Engineering at Azusa Pacific University My Research in Software Engineering It’s creative work  Software system is formed at human command programming is to command the computer  What is seen was made out of what was invisible  riches of operationsjust through“0”s & “1”s  Quantitative evaluationis used for dependability  ability to construct dependable systems Our belief : we may not make things perfect, but we offer best effort in architectural evaluation. 3 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  4. Analyst Customers Analyst Customers Software Engineering at Azusa Pacific University It’s f.a.i.t.h. work In the beginning, software was formless and empty… Requirements 4 4 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  5. Figure-out Analysis Imagination Together Harmony Documents Customers Engineering Team Informal Needs Computational Activities Information Flows Operational Scenario Hierarchical layout Software Engineering at Azusa Pacific University Analyst It’s f.a.i.t.h. work SOFT level: Intangible WARE level: tangible Requirements Customers They come together to form specification use imagination to form pictures in mind Architectural synthesis approach Engineering: manipulable We need to figure out the needs Analyze activities and information flows in between 5 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  6. Software Engineering at Azusa Pacific University  It’s my work My recent research published as a paper in the book (LNCS 3069) ed: R. de Lemos, et el, Springer Verlag, 2004. 6 6 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  7. Modeling Binding Software Engineering at Azusa Pacific University My Research in Software Engineering It’s my work objectives & goals Synthesizing Approach for Dependable System of Systems 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 Throughderivable model (component level) See if quantitative constraints satisfied 7 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  8. Software Engineering at Azusa Pacific University My Research in Software Engineering  It’s my work process & approach Synthesizing Approach for Dependable System of Systems 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 8 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  9. Software Engineering at Azusa Pacific University Conceptual Operations 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. Formal Definition Vcomputation= [Cc, I, Ct (Cc, I)] Cc: Conceptual component I:Interconnections Ct: Constraints on Cc and I 9 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  10. Software Engineering at Azusa Pacific University Conceptual Operations Example of conceptual operations Fishery 10 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  11. Software Engineering at Azusa Pacific University Conceptual Operations Zoom in Display board: display_status Monitors:O2 level NH3 level H2O level Controller: water flow inlet inlet_setting drain drain_setting feeder schedule 11 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  12. S r r i o P Software Engineering at Azusa Pacific University  Compositional Architecture Compositional view is from / for the architect. In terms of compositional patterns, a set of architectural rules applied to govern the interactions between components Formal Definition Vcomposition = [CcR, Ro─S/P→Ri, Ct (R, S, P)] CcR: component extracted as role Ro─S/P→Ri:interaction between roles S: architectural style (i.e., pipeline, message sending) P: communication protocol (TCP/IP) 12 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  13. Software Engineering at Azusa Pacific University Example of compositional architecture 13 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  14. glue glue COM COM 1 S 2 r r i o P Software Engineering at Azusa Pacific University Componential Derivation The componential view is from/for implementer. In terms of physical components, they will be derived as instances to carry out the computational activities Formal Definition Vderivation= [R Cp, (CpRo)─S/P→(RiCp), Ct (Cp S, P)] R Cp: physical component derived from roles CpRo:instance component glued to role 14 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  15. Software Engineering at Azusa Pacific University Quantifiable Evaluation 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. Formal Definition Vquantification=[Dr Qc, Qc─Attach CCM (R,S,P)] Dr Qcrepresents translation of dependability to quantitative constraints ─attach:represents the localization of constraints CCM(R, S, P): represents model parameterized as Role, Style, & Protocol 15 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  16. Software Engineering at Azusa Pacific University Quantifiable Evaluation Monitor at runtime Latency MET Component1 Component2 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: the upper bound of communication delay MET :Maximum Execution Time of computation Dynamic design inspection to monitor system execution 16 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  17. Approach CASE Tools Software Engineering at Azusa Pacific University My Research in Software Engineering Synthesizing Approach for Dependable System of Systems Add some research work in here 17 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science, http://www.apu.edu/clas/computerscience/

  18. Software Engineering at Azusa Pacific University My Research in Software Engineering What Achieved and Expected (progressive) • 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 18 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  19. Software Engineering at Azusa Pacific University Publications • Paper collected in Architecting Dependable Systems II 19 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  20. Software Engineering at Azusa Pacific University Publications • Book published in China: Software Development Techniques 20 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  21. Software Engineering at Azusa Pacific University 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 • [IASTED]Composition Modeling: Towards a PDPT • [ISSAA]Formal Approach for System Safety Analysis …. IAM • [RSP]Synthesizing Approach for Perspective-based AD • [ICSE] Perspective-based Architectural Approach for DS • [CCCT]Synthesizing Architectural Approach via a DCM • [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 … 21 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

  22. Software Engineering at Azusa Pacific University 22 September 28, 2014 Azusa Pacific University, Azusa, CA 91702,Tel: (800) 825-5278 Department of Computer Science,http://www.apu.edu/clas/computerscience/

More Related