Declarative Specification and Alignment Verification of Services in ITIL

Rychkova, Irina; Regev, Gil; Wegmann, Alain

doi:10.1109/edocw.2008.28

Cited by 12 publications

(12 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As other approaches, the previous work of Rychkova, [11] and [21], relies on manual mapping of SEAM constructs to Alloy 1 verifiable code, and requires service designers to know Alloy and interpret the result from the Alloy Analyzer tool. In contrast, our work relies on writing basic Scala arithmetic and logic operations in the SEAM model, but does not capture behavioral properties.…”

Section: Related Workmentioning

confidence: 99%

“…Our approach focuses on properties that can be quantified, such as performance, latency, storage size, budget and maintenance time. This work extends the refinement and verification of behavior properties, expressed in terms of pre-and postconditions on actions [11]. A description of this extension is in [12] and in this paper we present advancements made in:…”

Section: Introductionmentioning

confidence: 97%

See 1 more Smart Citation

Alignment Verification in the Early Stage of Service Design

Tapandjieva

Filipponi

Wegmann

2017

2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA)

Self Cite

View full text Add to dashboard Cite

Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a modeldriven approach for automatic verification of service properties, done in the early service design phase. Our approach is based on SEAM, a service modeling method, and it incorporates a verification system called Leon. With our approach service designers do not need substantial understanding of specific formal and verification languages, since the SEAM visual service model is both the input for and output of the alignment verification.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 97%

Alignment Verification in the Early Stage of Service Design

Tapandjieva

Filipponi

Wegmann

2017

2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Refinement relationships are defined in Refinement Theory [19]. A formal semantics is defined for the behavior diagram [19] and is simulated using the Alloy specification tool [20].…”

Section: B Behavior Ontologymentioning

confidence: 99%

Requirements modeling in SEAM: The example of a car crash management system

Wegmann

Bajic-Bizumic

Golnam

et al. 2013

2013 3rd International Workshop on Comparing Requirements Modeling Approaches (CMA@RE)

Self Cite

View full text Add to dashboard Cite

Abstract-This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) -Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM.

show abstract

“…SEAM has been applied for teaching [4] and consulting [5] since 2001. Prior applications of SEAM to service design have been published in [6] and [7].…”

Section: Introductionmentioning

confidence: 99%

Systemic Service Design: Aligning Value and Implementation

Golnam

Regev

Ramboz

et al. 2010

Lecture Notes in Business Information Processing

Self Cite

View full text Add to dashboard Cite

Abstract. The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organization. There is value in service orientation for both the organization and its customers. We call these two values, customer value and strategic value. When designing a service it is necessary to align both value propositions with the service building blocks. We propose to use a systemic method where whole and composite reasoning are interleaved on both the organizational and functional dimensions. We begin by producing an as-is model that describes how customer value is delivered by a set of actors and the responsibility of each actor. Improvement opportunities are identified in terms of customer value and strategic value to the organization. A to-be model is built that specifies the new interaction between actors and their new responsibilities. The method is illustrated with an example.

show abstract

Declarative Specification and Alignment Verification of Services in ITIL

Cited by 12 publications

References 16 publications

Alignment Verification in the Early Stage of Service Design

Alignment Verification in the Early Stage of Service Design

Requirements modeling in SEAM: The example of a car crash management system

Systemic Service Design: Aligning Value and Implementation

Contact Info

Product

Resources

About