Home // ICSEA 2014, The Ninth International Conference on Software Engineering Advances // View article
Authors:
Julia Martini
Hannes Restel
Raik Kuhlisch
Jörg Caumanns
Keywords: specification; formalism; profiling; validation; information modeling
Abstract:
In this work-in-progress report, a methodology based on a fully formalized and machine-readable formalism is introduced. The goal is to help modelers/developers to design and verify specifications, standards, and profiles in the field of information exchange. The formalism allows the specification and verification of process models as well as data/information models. These formalized specifications describe the structure (syntax) and meaning (semantics) of data models and process models as well as relations (requirements, dependencies, rules, constraints, pre-/post-conditions) between them. Unlike the traditional approach of defining a specification, which is to first write an unstructured specification document and then to derive a platform-specific binding from it (e.g., XML Schema), the specification itself is directly defined in a structured and machine-understandable formalism on a logical level. Fully formalized specifications allow for automatic validation and verification and, therefore, allow checking if the specification is complete and consistent so that dependencies between process steps can be verified. This work in progress lines out the very foundations of the described methodology by introducing a Set-Oriented formalism (SOF) that is used to formalize data models and dependencies.
Pages: 422 to 427
Copyright: Copyright (c) IARIA, 2014
Publication date: October 12, 2014
Published in: conference
ISSN: 2308-4235
ISBN: 978-1-61208-367-4
Location: Nice, France
Dates: from October 12, 2014 to October 16, 2014