SlideShare una empresa de Scribd logo
1 de 21
Towards the use of granularity theory for determining the size of atomic method fragments for use in situational method engineering Brian Henderson-Sellers Director, COTAR Centre for Human Centred Technology Design School of Software University of Technology, Sydney   Cesar Gonzalez-Perez The Heritage Laboratory CSIC, Santiago de Compostela
Overview ,[object Object],[object Object],[object Object],[object Object]
Context: SME ,[object Object],[object Object],[object Object],[object Object]
For example, metamodel granularity ,[object Object],Process Element Activity Task Process Element Activity Task Process Element Activity Task Process Element Activity Task Process Element
This leads to notion of abstraction, which is crucial for modelling ,[object Object],[object Object],[object Object]
Abstraction Mapping α :  S    A Formally, an abstraction maps between two formal systems, Σ 1 ,  Σ 2 , where each system is a set of formulae,  Θ , written in  a language  Λ . Then, equating  Θ  with  Λ  (Giunchiglia and Walsh, 1992),  we have  Σ =( Λ ) such that f:  Σ 1      Σ 2 and f  Λ :  Λ 1      Λ 2
Abstraction = granularity abstraction, F,  iff ,[object Object],[object Object],[object Object],[object Object]
Granularity abstraction called F-ABS  by Keet (2007)  
Granularity abstractions ,[object Object],[object Object],[object Object],[object Object]
Example: Granularity in classification/instantiation structure Class Object detail added detail removed
Proposed size measure (ER2010) G s  = 1 G s  = 0.2
Discussion ,[object Object],[object Object]
Methodology metamodel triangle Here, we focus on WorkUnit
Metamodel fragment for WorkUnitKind WorkUnitKind +StartTime +EndTime +Duration + Parent 0..1 + Child 0..* + Context 1 Process Kind Technique Kind TaskKind +Component 0..* SEMDM (ISO/IEC 24744)
Two possible granularities ,[object Object],Task Kind Name : Elicit  and document  requirements Purpose : To develop and refine a  formal and stable requirements  specification  and provide a document .  Minimum capability level : 1 Description : Requirements are to be  elicited from clients, domain experts,  marketing personnel and users. Usual  sub - tasks include defining the problem,  evaluating existing systems, establishing  user requirements,  distribution requirements and database requirements  and providing a written statement of requirements . startTime endTime duration
Case Study: OPF fragments ,[object Object],[object Object],[object Object]
Task amalgamation
Consequence of task amalgamation ,[object Object]
Revision of fragments ,[object Object],[object Object],[object Object]
Summary - 1 ,[object Object],[object Object],[object Object]
Summary - 2 ,[object Object],[object Object],[object Object],[object Object]

Más contenido relacionado

La actualidad más candente

The Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear ProgrammingThe Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear Programming
Bob Fourer
 
A0311010106
A0311010106A0311010106
A0311010106
theijes
 
MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures
MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and ArchitecturesMetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures
MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures
MLAI2
 
Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...
Bob Fourer
 
Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...
Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...
Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...
MLAI2
 

La actualidad más candente (20)

Chap3 slides
Chap3 slidesChap3 slides
Chap3 slides
 
Co-clustering of multi-view datasets: a parallelizable approach
Co-clustering of multi-view datasets: a parallelizable approachCo-clustering of multi-view datasets: a parallelizable approach
Co-clustering of multi-view datasets: a parallelizable approach
 
The Pyramid Match Kernel: Discriminative Classification with Sets of Image Fe...
The Pyramid Match Kernel: Discriminative Classification with Sets of Image Fe...The Pyramid Match Kernel: Discriminative Classification with Sets of Image Fe...
The Pyramid Match Kernel: Discriminative Classification with Sets of Image Fe...
 
The Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear ProgrammingThe Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear Programming
 
A0311010106
A0311010106A0311010106
A0311010106
 
A HYBRID COA/ε-CONSTRAINT METHOD FOR SOLVING MULTI-OBJECTIVE PROBLEMS
A HYBRID COA/ε-CONSTRAINT METHOD FOR SOLVING MULTI-OBJECTIVE PROBLEMSA HYBRID COA/ε-CONSTRAINT METHOD FOR SOLVING MULTI-OBJECTIVE PROBLEMS
A HYBRID COA/ε-CONSTRAINT METHOD FOR SOLVING MULTI-OBJECTIVE PROBLEMS
 
Duality in nonlinear fractional programming problem using fuzzy programming a...
Duality in nonlinear fractional programming problem using fuzzy programming a...Duality in nonlinear fractional programming problem using fuzzy programming a...
Duality in nonlinear fractional programming problem using fuzzy programming a...
 
MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures
MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and ArchitecturesMetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures
MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures
 
Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...
 
Elements of dynamic programming
Elements of dynamic programmingElements of dynamic programming
Elements of dynamic programming
 
Analytical Models of Parallel Programs
Analytical Models of Parallel ProgramsAnalytical Models of Parallel Programs
Analytical Models of Parallel Programs
 
Notion of an algorithm
Notion of an algorithmNotion of an algorithm
Notion of an algorithm
 
Combinatorial optimization CO-6
Combinatorial optimization CO-6Combinatorial optimization CO-6
Combinatorial optimization CO-6
 
Facial keypoint recognition
Facial keypoint recognitionFacial keypoint recognition
Facial keypoint recognition
 
Amortized analysis
Amortized analysisAmortized analysis
Amortized analysis
 
Deep learning ensembles loss landscape
Deep learning ensembles loss landscapeDeep learning ensembles loss landscape
Deep learning ensembles loss landscape
 
Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...
Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...
Learning to Extrapolate Knowledge: Transductive Few-shot Out-of-Graph Link Pr...
 
Negative Total Float to Improve a Multi-objective Integer Non-linear Program...
Negative Total Float to Improve a Multi-objective Integer  Non-linear Program...Negative Total Float to Improve a Multi-objective Integer  Non-linear Program...
Negative Total Float to Improve a Multi-objective Integer Non-linear Program...
 
352735340 rsh-qam11-tif-12-doc
352735340 rsh-qam11-tif-12-doc352735340 rsh-qam11-tif-12-doc
352735340 rsh-qam11-tif-12-doc
 
Empirical analysis
Empirical analysisEmpirical analysis
Empirical analysis
 

Destacado

Towards tool support for situational engineering of agile methodology
Towards tool support for situational engineering of agile methodologyTowards tool support for situational engineering of agile methodology
Towards tool support for situational engineering of agile methodology
Sandhiya Rajagopal
 

Destacado (7)

ME2011 presentation by Levina
ME2011 presentation by LevinaME2011 presentation by Levina
ME2011 presentation by Levina
 
ME2011 presentation by Overbeek
ME2011 presentation by OverbeekME2011 presentation by Overbeek
ME2011 presentation by Overbeek
 
Towards tool support for situational engineering of agile methodology
Towards tool support for situational engineering of agile methodologyTowards tool support for situational engineering of agile methodology
Towards tool support for situational engineering of agile methodology
 
Spemtempo20100611
Spemtempo20100611Spemtempo20100611
Spemtempo20100611
 
A Comparison of the Essence 1.0 and SPEM 2.0 Specifications for Software Engi...
A Comparison of the Essence 1.0 and SPEM 2.0 Specifications for Software Engi...A Comparison of the Essence 1.0 and SPEM 2.0 Specifications for Software Engi...
A Comparison of the Essence 1.0 and SPEM 2.0 Specifications for Software Engi...
 
Introduction to RUP & SPEM
Introduction to RUP & SPEMIntroduction to RUP & SPEM
Introduction to RUP & SPEM
 
対話システムにおけるインタラクション 技術のこれまでとこれから:携帯機器での音声情報検索案内システムを例として(南 泰浩)
対話システムにおけるインタラクション 技術のこれまでとこれから:携帯機器での音声情報検索案内システムを例として(南 泰浩)対話システムにおけるインタラクション 技術のこれまでとこれから:携帯機器での音声情報検索案内システムを例として(南 泰浩)
対話システムにおけるインタラクション 技術のこれまでとこれから:携帯機器での音声情報検索案内システムを例として(南 泰浩)
 

Similar a Me2011 Granularity presentation by Henderson-Sellers

01. Birta L. G., Arbez G. - Modelling and Simulation_ (2007).pdf
01. Birta L. G., Arbez G. - Modelling and Simulation_  (2007).pdf01. Birta L. G., Arbez G. - Modelling and Simulation_  (2007).pdf
01. Birta L. G., Arbez G. - Modelling and Simulation_ (2007).pdf
AftaZani1
 
SADP PPTs of all modules - Shanthi D.L.pdf
SADP PPTs of all modules - Shanthi D.L.pdfSADP PPTs of all modules - Shanthi D.L.pdf
SADP PPTs of all modules - Shanthi D.L.pdf
B.T.L.I.T
 
Fast optimization intevacoct6_3final
Fast optimization intevacoct6_3finalFast optimization intevacoct6_3final
Fast optimization intevacoct6_3final
eArtius, Inc.
 
LNCS 5050 - Bilevel Optimization and Machine Learning
LNCS 5050 - Bilevel Optimization and Machine LearningLNCS 5050 - Bilevel Optimization and Machine Learning
LNCS 5050 - Bilevel Optimization and Machine Learning
butest
 
MEME – An Integrated Tool For Advanced Computational Experiments
MEME – An Integrated Tool For Advanced Computational ExperimentsMEME – An Integrated Tool For Advanced Computational Experiments
MEME – An Integrated Tool For Advanced Computational Experiments
GIScRG
 

Similar a Me2011 Granularity presentation by Henderson-Sellers (20)

DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes
DOLCE and Pi-Calculus Rendezvous Semantics for Business ProcessesDOLCE and Pi-Calculus Rendezvous Semantics for Business Processes
DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes
 
Surrogate modeling for industrial design
Surrogate modeling for industrial designSurrogate modeling for industrial design
Surrogate modeling for industrial design
 
Software development effort reduction with Co-op
Software development effort reduction with Co-opSoftware development effort reduction with Co-op
Software development effort reduction with Co-op
 
22_RepeatedMeasuresDesign_Complete.pptx
22_RepeatedMeasuresDesign_Complete.pptx22_RepeatedMeasuresDesign_Complete.pptx
22_RepeatedMeasuresDesign_Complete.pptx
 
01. Birta L. G., Arbez G. - Modelling and Simulation_ (2007).pdf
01. Birta L. G., Arbez G. - Modelling and Simulation_  (2007).pdf01. Birta L. G., Arbez G. - Modelling and Simulation_  (2007).pdf
01. Birta L. G., Arbez G. - Modelling and Simulation_ (2007).pdf
 
Situational Method Engineering
Situational Method EngineeringSituational Method Engineering
Situational Method Engineering
 
HPPS - Final - 06/14/2007
HPPS - Final - 06/14/2007HPPS - Final - 06/14/2007
HPPS - Final - 06/14/2007
 
SADP PPTs of all modules - Shanthi D.L.pdf
SADP PPTs of all modules - Shanthi D.L.pdfSADP PPTs of all modules - Shanthi D.L.pdf
SADP PPTs of all modules - Shanthi D.L.pdf
 
Diseño rapido de amplificadores con valores
Diseño rapido de amplificadores con valoresDiseño rapido de amplificadores con valores
Diseño rapido de amplificadores con valores
 
Transfer Learning for Improving Model Predictions in Highly Configurable Soft...
Transfer Learning for Improving Model Predictions in Highly Configurable Soft...Transfer Learning for Improving Model Predictions in Highly Configurable Soft...
Transfer Learning for Improving Model Predictions in Highly Configurable Soft...
 
Using Simulation to Investigate Requirements Prioritization Strategies
Using Simulation to Investigate Requirements Prioritization StrategiesUsing Simulation to Investigate Requirements Prioritization Strategies
Using Simulation to Investigate Requirements Prioritization Strategies
 
Halo Pcs Kcap2007 V2
Halo Pcs Kcap2007 V2Halo Pcs Kcap2007 V2
Halo Pcs Kcap2007 V2
 
IRJET- Optimization of Fink and Howe Trusses
IRJET-  	  Optimization of Fink and Howe TrussesIRJET-  	  Optimization of Fink and Howe Trusses
IRJET- Optimization of Fink and Howe Trusses
 
MULTI-OBJECTIVE ENERGY EFFICIENT OPTIMIZATION ALGORITHM FOR COVERAGE CONTROL ...
MULTI-OBJECTIVE ENERGY EFFICIENT OPTIMIZATION ALGORITHM FOR COVERAGE CONTROL ...MULTI-OBJECTIVE ENERGY EFFICIENT OPTIMIZATION ALGORITHM FOR COVERAGE CONTROL ...
MULTI-OBJECTIVE ENERGY EFFICIENT OPTIMIZATION ALGORITHM FOR COVERAGE CONTROL ...
 
An Accelerated Branch-And-Bound Algorithm For Assignment Problems Of Utility ...
An Accelerated Branch-And-Bound Algorithm For Assignment Problems Of Utility ...An Accelerated Branch-And-Bound Algorithm For Assignment Problems Of Utility ...
An Accelerated Branch-And-Bound Algorithm For Assignment Problems Of Utility ...
 
Fast optimization intevacoct6_3final
Fast optimization intevacoct6_3finalFast optimization intevacoct6_3final
Fast optimization intevacoct6_3final
 
LNCS 5050 - Bilevel Optimization and Machine Learning
LNCS 5050 - Bilevel Optimization and Machine LearningLNCS 5050 - Bilevel Optimization and Machine Learning
LNCS 5050 - Bilevel Optimization and Machine Learning
 
Ipcc Talk
Ipcc TalkIpcc Talk
Ipcc Talk
 
L..p..
L..p..L..p..
L..p..
 
MEME – An Integrated Tool For Advanced Computational Experiments
MEME – An Integrated Tool For Advanced Computational ExperimentsMEME – An Integrated Tool For Advanced Computational Experiments
MEME – An Integrated Tool For Advanced Computational Experiments
 

Más de Method Engineering 2011 - IFIP WG.8.1 Working Conference

Más de Method Engineering 2011 - IFIP WG.8.1 Working Conference (17)

ME2011 presentation by Winter
ME2011 presentation by WinterME2011 presentation by Winter
ME2011 presentation by Winter
 
ME2011 presentation by Börner
ME2011 presentation by BörnerME2011 presentation by Börner
ME2011 presentation by Börner
 
ME2011 presentation by Cortes Cornax
ME2011 presentation by Cortes CornaxME2011 presentation by Cortes Cornax
ME2011 presentation by Cortes Cornax
 
ME2011 presentation by Zikra
ME2011 presentation by ZikraME2011 presentation by Zikra
ME2011 presentation by Zikra
 
ME2011 presentation by Hoppenbrouwers
ME2011 presentation by HoppenbrouwersME2011 presentation by Hoppenbrouwers
ME2011 presentation by Hoppenbrouwers
 
ME2011 presentation by Asadi
ME2011 presentation by AsadiME2011 presentation by Asadi
ME2011 presentation by Asadi
 
ME2011 presentation by Faci
ME2011 presentation by FaciME2011 presentation by Faci
ME2011 presentation by Faci
 
Me2011 Presentation by Loniewski
Me2011 Presentation by LoniewskiMe2011 Presentation by Loniewski
Me2011 Presentation by Loniewski
 
Me2011 Method Assessment by Henderson-Sellers
Me2011 Method Assessment by Henderson-SellersMe2011 Method Assessment by Henderson-Sellers
Me2011 Method Assessment by Henderson-Sellers
 
Me2011 presentation by Sophie Dupuy-Chessa
Me2011 presentation by Sophie Dupuy-ChessaMe2011 presentation by Sophie Dupuy-Chessa
Me2011 presentation by Sophie Dupuy-Chessa
 
Me2011 presentation by Manfred Jeusfeld
Me2011 presentation by Manfred JeusfeldMe2011 presentation by Manfred Jeusfeld
Me2011 presentation by Manfred Jeusfeld
 
Me2011 presentation by Victoria Torres
Me2011 presentation by Victoria TorresMe2011 presentation by Victoria Torres
Me2011 presentation by Victoria Torres
 
ME2011 presentation by Vlaanderen
ME2011 presentation by VlaanderenME2011 presentation by Vlaanderen
ME2011 presentation by Vlaanderen
 
ME2011 presentation by Mirandolle
ME2011 presentation by MirandolleME2011 presentation by Mirandolle
ME2011 presentation by Mirandolle
 
ESSENSE
ESSENSEESSENSE
ESSENSE
 
ME2011 Keynote by Marko Bajec
ME2011 Keynote by Marko BajecME2011 Keynote by Marko Bajec
ME2011 Keynote by Marko Bajec
 
ME11 Opening
ME11 OpeningME11 Opening
ME11 Opening
 

Último

CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
giselly40
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
Enterprise Knowledge
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
vu2urc
 

Último (20)

Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdfUnderstanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
 
What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?
 
Strategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a FresherStrategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a Fresher
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
Evaluating the top large language models.pdf
Evaluating the top large language models.pdfEvaluating the top large language models.pdf
Evaluating the top large language models.pdf
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 

Me2011 Granularity presentation by Henderson-Sellers

  • 1. Towards the use of granularity theory for determining the size of atomic method fragments for use in situational method engineering Brian Henderson-Sellers Director, COTAR Centre for Human Centred Technology Design School of Software University of Technology, Sydney Cesar Gonzalez-Perez The Heritage Laboratory CSIC, Santiago de Compostela
  • 2.
  • 3.
  • 4.
  • 5.
  • 6. Abstraction Mapping α : S  A Formally, an abstraction maps between two formal systems, Σ 1 , Σ 2 , where each system is a set of formulae, Θ , written in a language Λ . Then, equating Θ with Λ (Giunchiglia and Walsh, 1992), we have Σ =( Λ ) such that f: Σ 1  Σ 2 and f Λ : Λ 1  Λ 2
  • 7.
  • 8. Granularity abstraction called F-ABS by Keet (2007)  
  • 9.
  • 10. Example: Granularity in classification/instantiation structure Class Object detail added detail removed
  • 11. Proposed size measure (ER2010) G s = 1 G s = 0.2
  • 12.
  • 13. Methodology metamodel triangle Here, we focus on WorkUnit
  • 14. Metamodel fragment for WorkUnitKind WorkUnitKind +StartTime +EndTime +Duration + Parent 0..1 + Child 0..* + Context 1 Process Kind Technique Kind TaskKind +Component 0..* SEMDM (ISO/IEC 24744)
  • 15.
  • 16.
  • 18.
  • 19.
  • 20.
  • 21.