Online communities have increased in size and importance dramatically over the last decade. The fact that many communities are online means that it is possible to extract
information about these communities and the connections between their members much more easily using software tools, despite their potentially very large size. The links between members of the community can be presented visually and often this can make patterns in the structure of sub-communities immediately obvious. The links and structures of layered communities can also be formalized to gain a better understanding of their modelling. This paper explores these links with some specific examples, including visualization of these relationships and a formalized model of communities using the Z notation. It also considers the development of such communities within the Community of Practice social science framework. Such approaches may be applicable for communities associated with cybersecurity and could be combined for a better understanding of their development.
2. Abingdon School
3rd win in a row at Henley Royal Regatta on
7th July 2013, breaking previous record time.
3. Overview
• Online communities
• Visualization tools
• Formalization in Z
• Community of Practice
• Application to cybersecurity?
4. Communities
• Community of Practice
(CoP) – collection of people
developing domain knowledge
• Different communities
– cybersecurity, Z notation, visualization, ...
• Body of Knowledge (BoK)
– ontology for a particular domain
• Interdisciplinarity vs. Multidisciplinarity
5. Types of community
• CoP on Wikipedia:
en.wikipedia.org/wiki/Community_of_practice
• Online CoP (OCoP):
en.wikipedia.org/wiki/Online_community_of_practice
Other types of community
• Virtual community:
en.wikipedia.org/wiki/Category:Virtual_communities
• Community of interest:
en.wikipedia.org/wiki/Community_of_interest
6. Example – two communities
(arts and science)
Facebook
TouchGraph
connections
Visualization
7. Top 30 co-
authors as
measured by
the number of
publications
Academic
Search
co-author
graph
10. The Erdős number
• Paul Erdős (1913–1996)
– Hungarian mathematician
– en.wikipedia.org/wiki/Paul_Erdős
– Erdős number 0
– Co-authored over 1,000 publications
• 511 co-authors
– Erdős number 1
– Co-authors of Erdős co-authors
• Erdős number 2
• Etc.
18. State 4
• People are not linked to themselves
• Communities cannot be (transitively)
members of themselves
• ...+ is irreflexive transitive closure
23. Community of Practice (CoP)
Social sciences concept
• Wenger, E.: Communities of Practice:
Learning, Meaning, and Identity.
Cambridge University Press, Cambridge
(1998)
• Wenger, E., McDermott, R.A., Snyder,
W.: Cultivating Communities of Practice:
A guide to managing knowledge. Harvard
Business School Press, Boston (2002)
• A brief introduction by Etienne Wenger, 2006:
www.ewenger.com/theory
24. Fundamental elements of a CoP
1. Domain: Common interest to be
effective. E.g., cybersecurity.
2. Community: Group of people willing
to engage with others. E.g., security
experts, technology experts,
sociologists, etc.
3. Practice: Explore existing and
develop new knowledge. Use of
security and networked IT expertise.
25. Stages of community development
1. Potential
2. Coalescing
3. Maturing
4. Stewardship
5. Transformation
26. Cultivating a CoP
1. Design a CoP to evolve naturally.
2. Create opportunities for open discussion.
3. Welcome and allow different levels of
participation.
27. The Dark Side ...
The project that dares not speak its name ...
29. Abingdon Museum
• Grade I listed building
• In market square
• 3 minutes walk away
• Open 10am-4pm Tue-Sun
• Free entry
• Local history
• Views from roof (£2)
• Café in basement
www.abingdonmuseum.org.uk
Editor's Notes
Overview
A Body of Knowledge (BoK) is an ontology for a particular professionaldomain. A Community of Practice (CoP) is the collection of people developingsuch knowledge. In the paper we explore these concepts in the contextof the formal methods community in general and the Z notation community, ashas been supported by the Z User Group, in particular. The existing SWEBOKSoftware Engineering Body of Knowledge is considered with respect to formalmethods and a high-level model for the possible structure of of a BoK is providedusing the Z notation.
CoP books.
Visualization
CoP books.
1. Domain: A CoP must have a common interemethodsst to be effective. All the participants inthe group must be able to contribute in some way within this domain. Otherwise itis just a collection of people with no particular purpose. For example, the Z notationhas formed the nucleus of a CoP in a formal context.2. Community: A CoP also needs a group of people who are willing to engage withat least some others in the group, so ultimately the entire group is transitively connectedas a single entity, from a global viewpoint. This aspect is critical to theeffective development of knowledge. The group of people interested in the Z notationstarted at the Oxford University Computing Laboratory through the inspirationof Jean-Raymond Abrial in the late 1970s and early 1980s. It has gradually spreadaround the world since then.3. Practice: The CoP must explore both existing knowledge and develop new knowledge,based on existing concepts, but expanded through actual application in apractical sense. This leads to a set of common approaches and shared standardsin applying them. The Z notation is based on predicate logic and set theory, bothvery standard concepts in mathematics that were originally formulated a long timebefore the development of Z. Schema boxes were added to the mathematics for theconvenient structuring of realistic specifications. Initially case studies were specified.More recently, Z has been used for major industrial software engineeringprojects of a significant scale where system integrity is an important factor.
1. Potential: an extant social and/or professional network is needed to bootstrap aCoP and form a core of the community. An important aspect is for members tosense enough commonality so that they feel connected. Initially for Z, there wasa group of people already interested in formal methods in general at Oxford. Theseed of Z formed when Jean-Raymond Abrial visited the Programming ResearchGroup in Oxford and found a group receptive to his ideas.2. Coalescing: the CoP needs to combine a good understanding of existing knowledgewith visualization for what is possible in the future. The value of sharinginformation must be appreciated by those involved. The group at Oxford were alreadyexpert in the underlying mathematics used by Z. They also had the vision ofapplying this to the specification of computer-based systems.
1. Design the CoP to evolve naturally: communities are naturally dynamic and theability to adapt to the current needs of the CoP at different points in its developmentis important.2. Create opportunities for open discussion: often an outsider can add value to theCoP by bringing in ideas that may not have evolved in the community if it wascompletely isolated.