loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Manuel I. Capel and Juan A. Holgado

Affiliation: Granada University, Spain

ISBN: 972-8865-19-8

Keyword(s): Formal analysis tools, modular and systematic design, process algebras, real-time systems, structured analysis.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Formalisms, Languages and Notations ; Software Engineering ; Systems Engineering

Abstract: A correct system specification is systematically obtained from the essential user requirements model by applying a set of rules, which give a formal semantics to the graphical analysis entities of SA/RT. The aim of the systematic procedure is to establish the methodological infrastructure necessary for deriving a complete system specification of a given real-time system in terms of CSP+T processes. A detailed complete solution to the Production Cell problem is discussed, showing how the method can be applied to solve a real-world industrial problem.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.242.193.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
I. Capel M.; A. Holgado J. and (2005). TRANSFORMING SA/RT GRAPHICAL SPECIFICATIONS INTO CSP+T FORMALISM - Obtaining a formal specification from semi-formal SA/RT essential models.In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-19-8, pages 65-72. DOI: 10.5220/0002523800650072

@conference{iceis05,
author={Manuel {I. Capel} and Juan {A. Holgado}},
title={TRANSFORMING SA/RT GRAPHICAL SPECIFICATIONS INTO CSP+T FORMALISM - Obtaining a formal specification from semi-formal SA/RT essential models},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2005},
pages={65-72},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002523800650072},
isbn={972-8865-19-8},
}

TY - CONF

JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - TRANSFORMING SA/RT GRAPHICAL SPECIFICATIONS INTO CSP+T FORMALISM - Obtaining a formal specification from semi-formal SA/RT essential models
SN - 972-8865-19-8
AU - I. Capel, M.
AU - A. Holgado, J.
PY - 2005
SP - 65
EP - 72
DO - 10.5220/0002523800650072

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.