Bristol Systems Engineering and Computing Events

INCOSE UK - Bristol Local Group Wed 30th Nov 18.30 for 19.00

- Organisation and Behaviours - Systems Engineering within the wider enterprise -

http://www.incoseonline.org.uk/EventBooking/AutoBooking/MainPage.aspx?CatID=Events&EventID=203.

"This event will feature Richard Beasley and will be based upon the relevant sections on SE and organisations from the public review version of the Systems Engineering Body of Knowledge (SEBoK) which can be found at http://www.sebokwiki.org/, and has been developed as part of the BKCASE (Body of Knowledge and Curriculum to Advance Systems Engineering) project. Attendees will be invited to discuss and review the material so far, with the intention of feeding pertinent observations back into the public review process, acting as a sanity check from real-life practitioners."

From BCS Bristol Branch Members - November Newsletter

"As winter draws in we have some great talks coming up to take us through to the Spring School
First up only a few days away.- Graham Lee is speaking on "Mobile Application Security and Privacy: State of the Disunion" at the City of Bristol College on Wed 23rd Nov 2011. Find out details for Graham and tell us your coming: http://www.bristol.bcs.org.uk/?q=node/125

- On the 5th of December Paul Gerard will be giving a talk on "Using Business Stories to Test Requirements and Systems" at the City of Bristol CollegeFind out details for Paul and tell us your coming: http://www.bristol.bcs.org.uk/?q=node/130

- Our Xmas event on the 12th of December has proved very popular on "Future Technology - a younger perspective" Presented by Metaverse Evangelist Ian Hughes at @Bristol. At the time of writing there were only 3 spaces remaining. Full Details are here http://www.bristol.bcs.org.uk/?q=node/127

- We have the BCS President Professor M.J.Norton coming to the City of Bristol College on the 11th of Jan 2012 to give a talk on "Achieving successful IT enabled business change"This would be a great opportunity to Q and A with the president so lets get as many people along as possible. Full details can be found here http://www.bristol.bcs.org.uk/?q=node/121
You can see a summary of the full program on PDF by following this link (http://www.bristol.bcs.org.uk/2011/Bristol-branch-program-2011-12.pdf) or via the events page on the website (http://www.bristol.bcs.org.uk/?q=event/new)."

User Driven Modelling Justification

There are many computer literate people who are experts in a particular domain. Given the opportunity they will develop their own software (Scaffidi, 2005). There is a need in many domains for people to create software such as engineering models, scientific taxonomies, business systems, and in the arts. Examples of software systems that enable creation of models without necessitating code writing are spreadsheets, visual web development systems, and database management systems. Crapo et al (2002) explain the need for a methodology for creation of systems to enable more collaborative approaches to modelling by domain expert end-users that make use of structured and visualised information. Peirce (1904) explained that systems can be represented logically by humans, and this applies to software development and information representation on computers. Thus it could be made possible to represent systems with natural and visual languages. Though Nurminen et al (2003) argue that people prefer usability over automation, it is possible to achieve both by providing a stepped translation capability that ensures users are constantly kept informed of the steps taken. This approach is advocated by (Johnson, 2004). Automated translation from a people-centred view of information to software for computers can aid in software development by domain expert end-users and help ensure they can communicate models directly to computers. Software developers can then concentrate mainly on creating systems that enable domain experts to develop software, rather than developing individual software models on behalf of domain experts, which is difficult and prone to communication problems.

References

Crapo, A. W., Waisel, L. B., Wallace, W. A., Willemain, T. R., 2002. Visualization and Modelling for Intelligent Systems. In: C. T. Leondes, ed. Intelligent Systems: Technology and Applications, Volume I Implementation Techniques, 2002 pp 53-85.

Johnson, P., 2004. Interactions, Collaborations and breakdowns. In: ACM International Conference Proceeding Series; Proceedings of the 3rd annual conference on Task models and diagrams Vol 86 Prague, Czech Republic. - http://portal.acm.org/citation.cfm?id=1045448&coll=GUIDE&dl=GUIDE&CFID=17319495&CFTOKEN=29205382&ret=1Fulltext [Accessed 17^th February 2008].

Nurminen, J. K., Karaonen, O., Hatonen, K., 2003. What makes expert systems survive over 10 years-empirical evaluation of several engineering applications. Expert Systems with Applications 24(2) pp 199-211. - http://citeseer.ist.psu.edu/630566.html [Accessed 17^th February 2008].

Peirce, C.S., 1906. Prolegomena to an Apology for Pragmaticism [online]. Available from: http://www.existentialgraphs.com/peirceoneg/prolegomena.htm [Accessed 17^th February 2008].

Scaffidi, C., Shaw, M., Myers, B., 2005. Estimating the Numbers of End-users and End-user Programmers. In: IEEE Symposium on Visual Languages and Human-Centric Computing, (VL/HCC'05): 207-214 Dallas, Texas. - http://www.cs.cmu.edu/~cscaffid/papers/eu_20050923_vlhcc.pdf [Accessed 17^th February 2008].

Systems Enginering and Simulation

The intention of this project is to create a way for non programmers to create software in high level open standards based declarative languages built with Semantic Web technologies. The reasoning behind this is that if Semantic Web languages can represent data, they can also represent programs, as programs are just a specialised kind of data. The non programmer would program with this declarative language by means of a diagrammatic visualisation.

Many people would like to make greater use of computer technology but are hampered by the need to learn programming languages if they are to fully interact with software. Instead they are limited to the use of certain generic features that are provided for them. A further constraint is the cost of software, and for this project we will develop free software and encourage a community of end-user developers, and modellers.

We aim to provide Semantic Web based modelling and simulation tools that are usable and programmable by end-users. This is in order to ease the difficulties involved in translating requirements between software experts and domain experts. Our research will develop, extend, and combine existing research in provision of web page development tools for end-users, meta-programming, and web based modelling and simulation tools. The diagram below explains the research area we intend to explore.

This research will be part of co-ordinated efforts to enable end-user programming for knowledge management (including e-learning), modelling and decision support, and simulation. Therefore the research will concentrate mainly on translation for simulation and enabling non programmers to create web-based simulation systems. This is illustrated in the figure below.

The main research area will be the interface between Meta-Programming, Modelling and Simulation, and Semantic Web Model Creation, shaded in the figure below. This could allow end-users to develop their own Semantic Web based simulation and modelling tools using a graphical visual interface.

A simple illustration of the techniques that can be used to further this research area is a demonstrator we completed for meta-programming of XML (eXtensible Markup Language) based drag and drop trees. Python is used as a translator between the XML representation of the trees and interactive graphical representations of them. This allows open standards platform independent end-user programming. Such techniques could be used with other Semantic Web based information representations based on languages and structures such as XML, RDF (Resource Description Framework), and OWL (Web Ontology Language), and provision of other controls. These could then be used as graphical components of a simulation system made available over the web. This demonstrator furthered the research of Anderson and Krause [1]. Whiteside also used XML based meta programming to allow end user programming of games with Simkin [2]. Semantic languages provide a higher level declarative view of the problem to be modelled.

Standardisation in XML/RDF enables use of declarative rules for web services. Rules play an important role in artificial intelligence, knowledge-based systems, and for intelligent agents. To allow information sharing and reuse, interoperability, and collaboration an ontology centric approach can be used [3]. Ontologies are defined by Gruber in [4], and he also examines how equations and quantities can be represented in an ontology. Extending such work can enable functions and calculations to be represented in OWL and called by a Semantic Web based programming language.

References

[1] Sample code using drag & Drop with a tree - http://lists.wxwidgets.org/archive/wxPython-users/msg11332.html - Drag and Drop contributed by Sam Anderson, reposted by Dirk Krause.

[2] Simkin - http://www.simkin.co.uk/Links.shtml.

[3] COSMOA: An Ontology-Centric Multi-Agent System For Coordinating Medical Responses To Large-Scale Disasters. Bloodsworth, P., Greenwood, S., 2005. AI Communications Vol 18 (3) Agents Applied in Health Care pp 229-240.

[4] Toward Principles for the Design of Ontologies Used for Knowledge Sharing - Gruber T. R. 1993, http://www2.umassd.edu/SWAgents/agentdocs/stanford/onto-design.pdf - In Formal Ontology in Conceptual Analysis and Knowledge Representation, edited by Nicola Guarino and Roberto Poli, Kluwer Academic Publishers, in press. Substantial revision of paper presented at the International Workshop on Formal Ontology, March, 1993, Padova, Italy. Available as Technical Report KSL 93-04, Knowledge Systems Laboratory, Stanford University.

Other Pages on this subject

http://www.cems.uwe.ac.uk/amrc/seeds/ModellingSemanticWeb.htm.

http://www.cems.uwe.ac.uk/amrc/seeds/PeterHale/RDF/RDF.htm.

http://www.cems.uwe.ac.uk/amrc/seeds/softwareengineering.htm.