Goal-oriented requirements analysis for process control systems design

El-Maddah, Islam A. M.; Maibaum, Tom

doi:10.1109/memcod.2003.1210085

Cited by 8 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The GOPCSD (Goal-oriented Process Control System Design) tool [32] is an adaptation of the KAOS method that serves to analyze the KAOS requirements and generate B formal specifications. The tool is used to construct the application requirements in the form of goal-models by interacting with the user and importing library templates.…”

Section: Related Workmentioning

confidence: 99%

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Matoussi

Gervais

Laleau

2011

2011 16th IEEE International Conference on Engineering of Complex Computer Systems

View full text Add to dashboard Cite

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: Related Workmentioning

confidence: 99%

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Matoussi

Gervais

Laleau

2011

2011 16th IEEE International Conference on Engineering of Complex Computer Systems

View full text Add to dashboard Cite

show abstract

“…Goal-oriented requirements gathering: Traditional systems Analysis approaches are inadequate in dealing with complex software systems as these approaches treat requirements as consisting only of processes and data and do not capture the rationale for the software systems, thus making it difficult to understand requirements with respect to organizational and social context [5]. Goal oriented Requirement Engineering attempts to solve these problems by modeling the requirements as goals.…”

Section: Egovmentioning

confidence: 99%

“…1 and 2 above) are routine and relatively straightforward n-tier architectures. The remaining goals and non-routine Interactions (3,4,5) are harder to achieve and involve multiple systems and enterprise services bus and mediator pattern based implementations (as defined in wiki). The benefits are summarized in Figure 4.…”

Section: Benefits Of the Ace Mediatormentioning

confidence: 99%

Sense-respond cloud mediator architecture for services evolution

Ramanathan

Ramnath

Singh

et al. 2011

Proceedings of the 2011 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

In many dynamic externally-driven enterprises, like the Government, citizens participation in the design and evolution of services is critical and essential for satisfaction. Web 2.0 features are changing the way citizens interact and participate. Here we leverage this with a sense-respond architecture between two clouds: a) a front-end social networks of communities and citizens, and b) back-end enterprise application services. We introduce an Adaptive Complex Environment (ACE) ontology and mediator architecture for complex service-intensive organizations. This mediator architecture is illustrated using Web 2.0 (e.g. Facebook services) to make tacit service requirements of user communities explicit, leading to the adaptation in the use of back-end services. We also present a specific eGovernment application scenario where the services are identified, designed, delivered and evolved by employing ACE. We thus motivate research in management environments in which stakeholder participation, development, and operational aspects are integrated so that services can be co-engineered (i.e. collaboratively, continuously and concurrently).

show abstract

“…The GOPCSD tool [2] (as shown in fig.1) is designed to analyze the requirements of process control systems and automatically generate B formal specifications. To build an application within the tool, there are three main phases.…”

Section: The Gopcsd Toolmentioning

confidence: 99%

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

El-Maddah

Maibaum

2004

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract:The GOPCSD (Goal Oriented Process Control Systems Design) tool is an integrated environment, where the process control systems engineer can construct, import, check, reason about, modify, validate requirements specifications and generate in the B specification language a formal specification of such process control requirements. Borrowing from the KAOS method, the GOPCSD tool adopts the goal-oriented hierarchy concept to enable easy tracing of the user needs to the requirements level, as well as the requirements to the design specification level. The tool offers a library and formal and informal checks and tests to aid correction and enhancement of the requirements; in addition, the normal systems engineer can use the tool effectively and automatically generate a B formal specification, thus not demanding a high-level of knowledge about the sophisticated mathematics supporting formal methods like B.

show abstract

Goal-oriented requirements analysis for process control systems design

Cited by 8 publications

References 6 publications

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Sense-respond cloud mediator architecture for services evolution

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

Contact Info

Product

Resources

About