Abstract.. Using formal languages to specify system requirements guarantees the correctness of systems specifications. However, having correct specifications does not guarantee such specification matching user requirements. To guarantee such matching, users are required to validate formal specifications. This is a difficult task because, usually, users are unaware of notations. This work focus on this problem, in particular the validation of formal specifications of complex coordinated systems. To make the user’s validation easier, a new graphic technique to represent the dependencies in a coordinated environment is proposed. This graphic (and visual) technique increases users ’ understanding whilst lack of precisions is avoided. In fact, the proposed graphics correspond with visual representations of formal Maude specifications. Besides, taking advantage of the features of Maude, the system simulation is supported by the execution of Maude specifications. Thus, users are allowed to check whether the system produces the expected results. 1.

Abstract. Conceptual modeling is one major topic in information systems research and becomes even more important with the arising of new software engineering principles like model driven architecture (MDA) or service-oriented architectures (SOA). Research on conceptual modeling is characterized by a dilemma: Empirical research confirms that in practice conceptual modeling is often perceived as difficult and not done well. The application of reusable conceptual models is a promising approach to support model designers. At the same time, the IS research community claims for a sounder theoretical base for conceptual modeling. The design science research paradigm delivers a framework to fortify the theoretical foundation of research on conceptual models. We provide insights on how to achieve both, relevance and rigor, in conceptual modeling by identifying requirements for reusable conceptual models on the basis of the design science research paradigm. 1

This paper describes the DD framework for domain modelling in information systems engineering. Such...

this article the case of a single relation is described.

Abstract not found

Abstract: Structural changes and increasing dynamics in the public sector intensify the administrations ‟ need for cost-savings and process optimisation. To address actual drawbacks the adoption of e-Government is currently seen as opportunity to improve not only effectiveness and efficiency but also quality of public service delivery. For doing so, knowledge about internal structures and the external environment is indispensable. As transformation projects of public administrations (PA) in comparison with other industries strongly depend on the perception of responsible individuals and affected stakeholders, theories and artefacts are needed that help to depict the organisational reality of the PA. Current industry-independent models do not sufficiently account for the characteristics of PAs, hence it is the aim of this contribution to provide a design-oriented approach in order to assist this transformation. For this purpose a conceptual model with 42 design elements is presented. Two different perspectives are identified for the analysis of the domain. An interorganisational view defines all elements needed to depict the boundaries and environment of PAs. An intra-organisational view enables analysis of the internal reality of an organisation. As not only technical but mainly inter- and intra-organisational issues are actually restricting the adoption of e-Government, the presented conceptual model therefore provides a holistic framework for the improvement of requirements analysis of transformation projects.